Spyke

Yeah, that's what I'm thinking too. Making a commit and pushing to a remote repository are two different, completely unrelated, things.

20
sp3ctr4lreply
lemmy.dbzer0.com

Noted and updated.

Sorry, don't often post twitter links, didn't realize it was that simple.

20
lemmy.world

I don’t like GitHub, but this looks like they had someone using an authorized SSH key, but the git client was configured to post some unknown email address. Happens all the time.

Would be funny if they only find out once they have migrated off GitHub though.

13
programming.dev

I just dont enjoy it. It feels extremely sluggish, the ui is far more confusing with 100s of menus and weird names, and it doesnt have any basic file hosting for releases which is annoying. There are more but it's basically just lots of annoying little things that are super inconvenient.

2

I liked it ~5 years ago when it was mostly Git + project management + excellent CI. I agree that it’s gotten really messy since then. Way too many features IDGAF about.

2

You reached the end