Changes between Version 16 and Version 17 of u/erica/GitRepos


Ignore:
Timestamp:
05/19/15 14:16:02 (10 years ago)
Author:
Erica Kaminski
Comment:

—

Legend:

Unmodified
Added
Removed
Modified

  • u/erica/GitRepos

    v16 v17  
    130130}}}
    131131
    132 However, deleting your repo from the central repo is not possible on your own, and you need to ask Jonathan or Baowei to do this for you. Pruning branches should be done with caution.
     132However, deleting your repo from the central repo is not possible on your own, and you need to ask Jonathan or Baowei to do this for you (i.e. pruning branches should be done with caution).
    133133
    134134As a tip, you can always use the command,