diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-09-29 22:04:31 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-09-29 22:04:31 (GMT) |
| commit | 9beb250cf9eed05ba1139b202bf2412b07978ef5 (patch) | |
| tree | eed41dcec662c88bbfe95434558893a4652aa144 /web/content/development.md | |
| parent | 0b6423f9c99d9edf8c96fefd0f6c453859395aa1 (diff) | |
| download | site-9beb250cf9eed05ba1139b202bf2412b07978ef5.tar.gz | |
git-notify: Ignore GitHub pull requests
GitHub uses the refs/pull namespace for pull requests.
Diffstat (limited to 'web/content/development.md')
0 files changed, 0 insertions, 0 deletions