2023-03-16 18:53:28 +01:00
|
|
|
<!-- START doctoc generated TOC please keep comment here to allow auto update -->
|
|
|
|
|
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
|
|
|
|
|
|
|
|
|
|
- [Random git files](#random-git-files)
|
|
|
|
|
- [Tracking GitHub pull requests with `git`](#tracking-github-pull-requests-with-git)
|
|
|
|
|
|
|
|
|
|
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
|
|
|
|
|
|
2022-05-26 11:43:21 +02:00
|
|
|
# Random git files
|
|
|
|
|
|
2023-02-26 18:01:13 +01:00
|
|
|
- `gitignore` - `.gitignore` templates I may or may not use
|
|
|
|
|
- `etc/gitconfig` - a `/etc/gitconfig` for accepting signed pushes
|
2022-05-26 11:43:21 +02:00
|
|
|
|
|
|
|
|
## Tracking GitHub pull requests with `git`
|
|
|
|
|
|
|
|
|
|
```bash
|
|
|
|
|
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.
|
|
|
|
|
|
2023-02-26 18:01:13 +01:00
|
|
|
- TODO: Figure out if this also works for GitLab or what is the GitLab version?
|
2022-05-26 11:43:21 +02:00
|
|
|
Gitea too.
|
2023-02-26 18:01:13 +01:00
|
|
|
- https://gitea.blesmrt.net/mikaela/gist/issues/39
|
