Learn More
Resend Email
8
AlmondSauce
5y

Damn, Github down *again*. There goes my productive morning.

rant
Favorite
Ranter
Comments
  • 3
    5y
    probably working hard to remove all the 'master' branches...
  • 1
    5y
    You mean to tell me that you can't do any work locally without needing to push/pull?
  • 2
    5y
    @kamen Not when your productive morning was going to be reviewing PR's, no :-)
  • 0
    5y
    Hmm may I suggest a self hosted alternative?

    That reminds me, I wanted to try Gogs at some point
  • 2
    5y
    @LotsOfCaffeine Meh, then it becomes my responsibility to fix.
  • 0
    5y
    @molaram Gogs is FOSS.
  • 0
    5y
    Can't you just add another origin in git and push to both self hosted and github?

    I've never tried doing both but if github is shit lately, may be worth figuring out.
  • 0
    5y
    @molaram No clue, I only googled it just now, will try it once I convince my ISP that port forwarding isn't a vulnerability.
  • 0
    5y
    @AlgoRythm Even if they could, that probably wouldn't replicate the PRs on GitHub, just the repo itself. I might be wrong, but I think PRs aren't tracked by git, they're rather something like infrastructure in the given git hosting.
devRant © 2021 Hexical Labs LLC
Privacy Policy  |  Terms of Service
Add Comment