dda9bd0cec
Meta/pushall: drop unused comment
2024-12-13 08:56:01 -08:00
6bdb97057e
Meta/pushall: push out to CI repository before ko
...
The refmap (not tracked here) to update 'main' branch at the CI
repository is set to push from remotes/ko/master to make 'master'
current while allowing 'main' to lag behind one round of pushout to
'master'/'main'. This way, pushing out to the CI repository won't
have to spend redundant cycles to build 'master' and 'main' at the
same time.
2023-04-11 12:44:44 -07:00
5e3eaf38f2
Meta/pushall: make it easier to one-shot customize the destinations
2022-02-03 17:20:04 -08:00
c53081163c
Meta/pushall: catch attempts to push only 'next' branch to special case, too
2017-10-18 11:57:53 +09:00
a72c493cfe
Meta: retire sourceforge
2017-06-05 12:37:39 +09:00
36c4696f0e
Meta/pushall: treat two mirrors equally
2017-05-25 11:19:23 +09:00
eb94c58780
Meta/pushall: publish HTML docs to GitHub Pages, too
2016-06-09 10:20:59 -07:00
6f584b1d95
Meta/pushall: stop pushing to gph
2015-08-12 14:32:36 -07:00
21de050651
Meta/pushall: push to gob-private as well
2015-02-23 13:16:42 -08:00
cf7ee947c3
Meta/pushall: make it safer to rewind next
2014-12-15 12:41:08 -08:00
f93a65c601
Meta/pushall: iterate and retry
2013-12-20 15:01:32 -08:00
78e5eecba1
pushall: use push --follow-tags
2013-05-24 14:12:52 -07:00
e311d87dfe
Meta/pushall: attempt to auto-push the tip-tag
2012-12-06 13:48:43 -08:00
80a572b7ad
Meta/pushall: explicitly support -n
2012-03-05 22:49:55 -08:00
3646cd6e54
Meta/pushall: adjust to new layout
2011-11-16 22:46:01 -08:00
a31dee5a21
Meta/pushall: show where we are pushing
2011-10-19 11:14:04 -07:00
72ba3424a0
Push to github.com/git/git as well
2011-09-28 18:13:00 -07:00
a4f3ae3c97
Push to GPH as well
2011-09-14 21:35:57 -07:00
a971895762
Meta/pushall: github is configured to be a mirror and does not take parameters
2010-07-08 07:54:20 -07:00
bb94632d56
Add pushall
2010-05-03 13:33:32 -07:00
Junio C Hamano