| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 0001-Remove-Google-analytics-account-ID.patch | Remove Google analytics account ID Including it triggers a privacy breach in the locally generated html files. Also disabled the travis button, to cut down on other unnecessary web traffic. |
Diane Trout <diane@ghic.org> | no | 2017-04-24 | ||
| 0002-remove-github-buttons.patch | Remove github username and project id Including it triggers a privacy breach in the locally generated html files. |
Diane Trout <diane@ghic.org> | no | 2017-04-24 | ||
| disable-github-badges.patch | no |