Skip to content

Conversation

@danielbachhuber
Copy link
Member

No description provided.

@gitlost gitlost merged commit 4ee7ebd into master Aug 2, 2017
@gitlost gitlost deleted the pull-request-guidelines branch August 2, 2017 19:50
schlessera pushed a commit that referenced this pull request Aug 9, 2022
Link to pull request guidelines in the PULL_REQUEST_TEMPLATE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants