Feature #8632
Make sure various clones of our Git repository are up-to-date wrt. the rewrite
Status:
Resolved
Priority:
Normal
Assignee:
intrigeri
Category:
Infrastructure
Target version:
Start date:
2015-01-09
Due date:
% Done:
100%
Description
- website, Jenkins, mirror at immerda and Redmine, etc.
- check tags too
Subtasks
Related issues
Blocked by Tails - |
Resolved | 2015-01-09 | |
Blocks Tails - |
Resolved | 2015-01-09 |
History
#1 Updated by intrigeri 2015-01-09 14:19:08
- blocked by
Feature #8631: Force push the rewritten Git repository added
#2 Updated by intrigeri 2015-01-09 14:23:09
- blocks
Feature #8633: Let contributors using Git know what they should do after the history rewrite added
#3 Updated by intrigeri 2015-01-09 14:29:45
- blocked by deleted (
)Feature #8633: Let contributors using Git know what they should do after the history rewrite
#4 Updated by intrigeri 2015-01-09 14:29:47
- blocks deleted (
)Feature #8631: Force push the rewritten Git repository
#5 Updated by intrigeri 2015-01-09 14:30:38
- Parent task changed from
Feature #8617toFeature #6277
#6 Updated by intrigeri 2015-01-09 14:39:16
- blocked by
Feature #8631: Force push the rewritten Git repository added
#7 Updated by intrigeri 2015-01-09 14:39:35
- blocks
Feature #8633: Let contributors using Git know what they should do after the history rewrite added
#8 Updated by intrigeri 2015-02-25 17:40:23
- Status changed from Confirmed to Resolved
- % Done changed from 0 to 100
Done. Transitioned from repo.or.cz to GitLab along the way, since the former would not easily allow us to delete the obsolete tags (+ numerous other reasons, see commit:705dc3c192038fbdce1d20f33907cad961668154 for details).
#9 Updated by BitingBird 2015-03-22 12:09:32
- Target version changed from Tails_1.3.2 to Tails_1.3.1