Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve documentation for pushers and push gateways #1506
Rendered: see 'docs' commit status
This fixes a number of formatting issues alongside a few documentation problems:
Note: this does not attempt to document push rules, just pushers.