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
git [2022/03/03 22:54] – [Examples] cli tag 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
git.1646308492.txt.gz · Last modified: 2022/03/03 22:54 by rjt