Collection of useful git commands etc. Revert a pull/merge etc. get a list of recent commits with git log --oneline select the hash (first word on each line) of the one you want to revert git revert -m 1 <selected_hash> Locally merge a pull request See this stackexchange Q&A. After cloni...

My first AUR package! I assume you are somewhat familiar with makepkg, git and the process of creating packages under Arch Linux. Once your PKGBUILD is created, works as desired and the package builds, is installable and works, this is how you continue: Preparation, Initial Upload create the .SRCI...

I feel the need to migrate all my github stuff to somewhere else. Because Microsoft is buying Github. Gitlab does not seem to be that much different. In the end, I chose two providers: framagit.org and notabug.org - just to be on the safe side. The migration itself happened via web interface and isn...

I have a project on github that is 100% bash - yet github sees it as 70% shell and 30% CSS. Turns out one large file is seen as CSS only because of its extension .less. since this is really a help file, I created a .gitattributes file that marked it as documentation (which causes github's language i...