Git

FAQ

Remote: error: failed to lock refs/heads/…

• See https://stackoverflow.com/questions/11228436/failed-to-lock-refs-heads-master

Ignoring files without adding them to .gitignore

To ignore untracked files, you have a file in your git folder called .git/info/exclude. This file is your own gitignore inside your local git folder, which means is not going to be committed or shared with anyone else. You can basically edit this file and stop tracking any (untracked) file.

• Source: https://luisdalmolin.dev/blog/ignoring-files-in-git-without-gitignore/

My basic configuration for a new installation

git config --global user.name "FIRST_NAME LAST_NAME"
git config --global user.email "MY_NAME@example.com"
git config --global core.autocrlf false

• Source: https://docs.github.com/en/get-started/getting-started-with-git/configuring-git-to-handle-line-endings

Get list of accessible repositories

ssh git@git.bekey.dk info

• Source: Serhii Ch.

Pull and merge remote branch “origin/main” into current

git pull origin main

Resources

• Introduction to GitHub and Open-Source Projects > How To Create a Pull Request on GitHub
• Git Forks and Upstreams: How-to

Alternatives

• Mercurial
• Pijul