Skip to content
Snippets Groups Projects
Select Git revision
  • 2e72135acb0aa0defa5dc31f01174f4e6c0c09cc
  • master default protected
  • docs-improve_user_path_description
  • fix-pipeline
  • ci-change_exercises_image_registry
  • feat-merge_recorder_in_extension
  • feat-default_folder
  • feat-change_user
  • develop protected
  • refactor-mission
  • feat-exercise_automatic_save
  • docs-improve_documentation
  • feat-create_little_container_for_developer
  • feat-local-dev
  • 0.1.12
  • 0.1.11
  • 0.1.10
  • 0.1.5
18 results

deadlock-desktop

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    pierrick_cbl authored
    Their '.git' and '.gitignore' are copied and renamed before the commit/push on the Gitea repo so that they can be staged. 
    If a repository already exists, when the code is pulled at the start, the user's git files will also be renamed back.
    2e72135a
    History
    Name Last commit Last update