User Tools

Site Tools


git

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
git [2021/10/15 18:33] – [Rename Branch] better structure, head command rjtgit [2022/03/03 22:58] (current) – Typo, link rjt
Line 14: Line 14:
       * You can delete the old branch from their UI, from the 'branches' tab.       * You can delete the old branch from their UI, from the 'branches' tab.
       * Then use ''git fetch --prune'' to delete anything locally that's not on the remote (if that's safe in your case).       * Then use ''git fetch --prune'' to delete anything locally that's not on the remote (if that's safe in your case).
-    * If you want to do it from the command line apparantly:+    * If you want to do it from the command line apparently:
       - ''git branch -d master'' to delete the old local branch       - ''git branch -d master'' to delete the old local branch
       - ''git push origin --delete master'' to delete the old remote branch       - ''git push origin --delete master'' to delete the old remote branch
Line 48: Line 48:
 === Specific useful things to ignore === === Specific useful things to ignore ===
  
-So for Unity game you probably want to ignore those .pdb files.+So for [[gmt>Unity]] game you probably want to ignore those .pdb files.
  
   * https://gist.github.com/octocat/9257657   * https://gist.github.com/octocat/9257657
Line 73: Line 73:
 </file> </file>
  
-{{tag>guide software}}+{{tag>cli guide software}}
git.1634283235.txt.gz · Last modified: 2021/10/15 18:33 by rjt