GitHub is down - Hackdot

Re:GitHub is down by aidos on Monday July 22, 2019 @12:29PM (#20499599)

Wait, what?! You can have 2 different urls for the same remote so a single push will push to both?

[ Parent | on HN ]

Re:GitHub is down by TimWolla on Monday July 22, 2019 @12:35PM (#20499682)

Yes, exactly. Here's an example for a repository hosted on my server and in Keybase Git. Pulls / Fetches will use the repository on my server. Pushes go to both.

    [timwolla@/s/xxx (master)]g remote show origin
    * remote origin
      Fetch URL: [email protected]:xxx.git
      Push  URL: [email protected]:xxx.git
      Push  URL: keybase://private/timwolla/xxx
      HEAD branch: master
      Remote branch:
        master tracked
      Local branch configured for 'git pull':
        master merges with remote master
      Local ref configured for 'git push':
        master pushes to master (up to date)

[ Parent | on HN ]

Re:GitHub is down by kjar on Monday July 22, 2019 @02:15PM (#20500652)

Neat! I was also unaware of this.

[ Parent | on HN ]

Re:GitHub is down by Avamander on Monday July 22, 2019 @03:39PM (#20501534)

Whoa, cool, Keybase should definitely have this mentioned on their own page.

[ Parent | on HN ]