9front - general discussion about 9front
 help / color / mirror / Atom feed
* [9front] Git multiple remotes
@ 2022-01-03 15:20 Benjamin Riefenstahl
  2022-01-03 16:59 ` Philip Silva
  0 siblings, 1 reply; 7+ messages in thread
From: Benjamin Riefenstahl @ 2022-01-03 15:20 UTC (permalink / raw)
  To: 9front

Hi all,

Is it possible in 9front's Git to have multiple remotes?  I find this
often usefull but I can't make it work.  The Git commands do not seem to
work with additional remotes in .git/config, they require explicit URLs.
But even then it is not clear to me how to e.g. git/pull from an extenal
repo.  The connection is made, output happens, but the local repo seems
not changed in any way?

TIA, benny

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

end of thread, other threads:[~2022-01-04 19:21 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-03 15:20 [9front] Git multiple remotes Benjamin Riefenstahl
2022-01-03 16:59 ` Philip Silva
2022-01-03 19:47   ` Benjamin Riefenstahl
2022-01-04  0:20     ` Philip Silva
2022-01-04 12:44       ` Benjamin Riefenstahl
2022-01-04 16:37     ` ori
2022-01-04 19:14       ` Benjamin Riefenstahl

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).