User Tools

Site Tools

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
github_best_practices [2019/10/05 13:59] – [File Permissions] De-duplicate description. Traumfluggithub_best_practices [2019/10/05 14:00] (current) – [File Permissions] Clarify link. Traumflug
Line 192: Line 192:
   $ mv <git repository>/.git /tmp   $ mv <git repository>/.git /tmp
  
-Then follow instructions at [[Developer Installation#The User Privileges Issue]].+Then follow instructions at [[Developer Installation#The User Privileges Issue|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