gist/git
2023-03-17 15:15:04 +02:00
..
etc git/etc/gitconfig: "document" accepting signed pushes 2022-05-26 12:31:21 +03:00
gitignore mv gitignore -> git/gitignore 2022-05-26 12:26:46 +03:00
README.md rerun doctoc 2023-03-17 15:15:04 +02:00

Random git files

  • gitignore - .gitignore templates I may or may not use
  • etc/gitconfig - a /etc/gitconfig for accepting signed pushes

Tracking GitHub pull requests with git

git config --add remote.GITHUB.fetch '+refs/pull/*/head:refs/remotes/GITHUB/pr/*'

Replace GITHUB with the git remote name. I have picked this up from a dead git.io link.