Whaaaaaat! I've sent me very first git pull request, ever! 🎉 It's so awesome to see myself in that commit list. ✨
Just remember that's true for everyone. Git is just very complicated.
@sandzwerg I struggled with some errors telling me that my local repo js behind the remote one and that i should try to pull before pushing again. But that didn't work and i was left with question marks over my head... ☹️
Then i just deleted the whole folder (after moving the not yet uploaded files to somewhere else), cloned the repo, added the files back again and then it just worked. I don't understand... Oh well. ‾\😁/‾
Probably some kind of merge error. Git knows three different kinds of files/stages: not tracked, staged and committed and grasping this and how they interact with each other is hard
chaos.social - because anarchy is much more fun with friends.
chaos.social is a small Mastodon instance for and by the Chaos community surrounding the Chaos Computer Club. We provide a small community space - Be excellent to each other, and have a look at what that means around here.
Follow @ordnung for low-traffic instance-related updates.
The primary instance languages are German and English.