FYI in an emergency you can edit files directly on Github without the need to use git.

Edit: ugh... if you rely on GH Actions for workflows though actions/checkout@v4 is also currently experiencing the git issues, so no dice if you depend on that.

▲

ruuda 7 hours ago | parent | next [-]

FYI in an emergency you can `git push` to and `git pull` from any SSH-capable host without the need to use GitHub.

▲

cluckindan 6 hours ago | parent | next [-]

FYI in an emergency you can SSH to your server and edit files and the DB directly.

Where is your god now, proponents of immutable filesystems?!

▲

egeozcan 6 hours ago | parent | next [-]

FYI in an emergency, you can buy a plane ticket and send someone to access the server directly.

I actually had the privilege of being sent to the server.

	▲	noir_lord 6 hours ago \| parent [-]
		Had a coworker have to drive across the country once to hit a power button (many years ago). Because my suggestion they have a spare ADSL connection for out of channel stuff was an unnecessary expense... Til he broke the firewall knocked a bunch of folks offline across a huge physical site and locked himself out of everything. The spare line got fitted the next month.

▲

BadBadJellyBean 6 hours ago | parent | prev [-]

I love when people do that because they always say "I will push the fix to git later". They never do and when we deploy a version from git things break. Good times.

I started packing things into docker containers because of that. Makes it a bit more of a hassle to change things in production.

	▲	noir_lord 6 hours ago \| parent [-]
		Depends on the org, the big ones I've worked for regular Devs even seniors don't have anything like the level of access to be able to pull a stunt like that. At the largest place I did have prod creds for everything because sometimes they are necessary and I had the seniority (sometimes you do need them in a "oh crap" scenario). They where all setup on a second account in my work Mac which had a danger will Robinson wallpaper because I know myself, far far too easy to mentally fat finger when you have two sets of creds.

▲

lenerdenator 6 hours ago | parent | prev [-]

I'm actually getting "ERROR: no healthy upstream" on `git pull`.

They done borked it good.

	▲	avree 6 hours ago \| parent [-]
		If your remote is set to a git@github.com remote, it won't work. They're just pointing out that you could use git to set origin/your remote to a different ssh capable server, and push/pull through that.

▲

rco8786 6 hours ago | parent | prev | next [-]

Yup, we were just trying to hotfix prod and ran into this. What is happening to the internet lately.

▲

shrikant 6 hours ago | parent | prev | next [-]

We're not using Github Actions, but CircleCI is also failing git operations on Github (it doesn't recognise our SSH keys).

▲

vielite1310 6 hours ago | parent | prev | next [-]

True that, and this time Github AI actually have a useful answer to check for githubstatus.com

▲

lopatin 6 hours ago | parent | prev [-]

Can you create a branch through GitHub UI?

	▲	hobofan 6 hours ago \| parent [-]
		Yes. Just start editing a file and when you hit the "commit changes" button it will ask you what name to use for the branch.