4 ms·

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/chec

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 11mo ago
FYI in an emergency you can `git push` to and `git pull` from any SSH-capable host without the need to use GitHub.
- cluckindan 11mo ago
  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?!
  - BadBadJellyBean 11mo ago
    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 11mo ago
      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.
    - 1718627440 11mo ago
      It's easier, when the deployed instance on the server is also a Git repo, so you can commit the changes there and pull.
  - egeozcan 11mo ago
    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 11mo ago
      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.
- lenerdenator 11mo ago
  I'm actually getting "ERROR: no healthy upstream" on `git pull`. They done borked it good.
  - avree 11mo ago
    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 11mo ago
Yup, we were just trying to hotfix prod and ran into this. What is happening to the internet lately.
vielite1310 11mo ago
True that, and this time Github AI actually have a useful answer to check for githubstatus.com
lopatin 11mo ago
Can you create a branch through GitHub UI?
- hobofan 11mo ago
  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.
shrikant 11mo ago
We're not using Github Actions, but CircleCI is also failing git operations on Github (it doesn't recognise our SSH keys).

ruuda 11mo ago

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

cluckindan 11mo ago
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?!
- BadBadJellyBean 11mo ago
  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 11mo ago
    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.
  - 1718627440 11mo ago
    It's easier, when the deployed instance on the server is also a Git repo, so you can commit the changes there and pull.
- egeozcan 11mo ago
  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 11mo ago
    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.
lenerdenator 11mo ago
I'm actually getting "ERROR: no healthy upstream" on `git pull`. They done borked it good.
- avree 11mo ago
  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 11mo ago

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

vielite1310 11mo ago

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

lopatin 11mo ago

Can you create a branch through GitHub UI?

hobofan 11mo ago
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.

shrikant 11mo ago

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