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/impressum.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/impressum.md')
0 files changed, 0 insertions, 0 deletions