jesopo 756938a4c9 Use rpartition to either get the last part of a ref/head/branch ref or just ... `branch` (github)		2019-01-23 08:56:36 +00:00
..
ghwebhook.md	pr-all also shows when there are new commits to a pull request (github)	2019-01-21 17:25:13 +00:00
module.py	Use rpartition to either get the last part of a ref/head/branch ref or just	2019-01-23 08:56:36 +00:00