9front - general discussion about 9front
 help / color / mirror / Atom feed
* [9front] git/push with refs not in refs/heads
@ 2021-07-17  1:13 Anthony Martin
  2021-07-17  2:11 ` Kurt H Maier
  2021-07-17  3:08 ` ori
  0 siblings, 2 replies; 5+ messages in thread
From: Anthony Martin @ 2021-07-17  1:13 UTC (permalink / raw)
  To: 9front

Is there interest in allowing git/push to send an
arbitrary ref to a remote repository? Right now
the ref has to be a branch in refs/heads.

My usual way of working with git on Unix is to have
a canonical origin that I fetch from and a single
local branch that I commit to and rebase onto the
origin before pushing.

Sometimes I want to push the current origin branch
to a mirror without involving any of my local refs,
something like:

	git push mirror origin/master:master

where the local refs are

	refs/heads/master
	refs/remotes/mirror/master
	refs/remotes/origin/HEAD
	refs/remotes/origin/master

the remote refs on mirror are

	HEAD
	refs/heads/master

and my own master has diverged from origin/master.

Please advise.

Thanks,
  Anthony

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2021-07-17 21:41 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-07-17  1:13 [9front] git/push with refs not in refs/heads Anthony Martin
2021-07-17  2:11 ` Kurt H Maier
2021-07-17 11:20   ` Anthony Martin
2021-07-17 21:11     ` Kurt H Maier
2021-07-17  3:08 ` ori

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).