News for hackers. Stuff that matters.

A comment on GitHub is down. Parent comment

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 ]