Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
github_best_practices [2019/10/05 13:59] – [File Permissions] De-duplicate description. Traumflug | github_best_practices [2019/10/05 14:00] (current) – [File Permissions] Clarify link. Traumflug | ||
---|---|---|---|
Line 192: | Line 192: | ||
$ mv <git repository>/ | $ mv <git repository>/ | ||
- | Then follow instructions at [[Developer Installation# | + | Then follow instructions at [[Developer Installation# |
That done, move //.git// back: | That done, move //.git// back: |
github_best_practices.txt · Last modified: 2019/10/05 14:00 by Traumflug