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
|
