Github additional traits plugin This plugin is a collection of traits for Github organization and Github branch folders. It provides filters for Pull requests by labels Pull requests by titles Only branches by name (doesn't touch PRs)