Alexander Todorov de6419f0d1 Add PR template with instructions for repo members ... this will serve as a reminder that sometimes Jenkins jobs can be missing or failing and also lists the comments which team members can use to trigger Jenkins jobs, especially for PRs from non-members.		2019-01-24 22:50:00 +02:00
..
pull_request_template.md	Add PR template with instructions for repo members	2019-01-24 22:50:00 +02:00