Changes between Version 12 and Version 13 of TracTeam/Repositories
- Timestamp:
- Aug 26, 2016, 3:40:26 AM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TracTeam/Repositories
v12 v13 49 49 }}} 50 50 (use that URL directly from e.o, or use one of the github ones) 51 52 Disable pushing to the mirror, just to be safe: 53 {{{#!sh 54 $ git remote set-url --push mirror no_push 55 }}} 51 56 52 57 If you'd like to get tags from the mirror, do like this: