Skip to content

Dev friendlier#105

Merged
Zomis merged 4 commits intoZomis:developfrom
janosgyerik:dev-friendlier
Sep 13, 2015
Merged

Dev friendlier#105
Zomis merged 4 commits intoZomis:developfrom
janosgyerik:dev-friendlier

Conversation

@janosgyerik
Copy link
Copy Markdown
Contributor

No description provided.

@janosgyerik
Copy link
Copy Markdown
Contributor Author

Side note: if you want pull requests going into (and therefore starting from) develop, it would be good to make that the default branch instead of master. That way it will be less confusing and error-prone for contributors.

Zomis added a commit that referenced this pull request Sep 13, 2015
@Zomis Zomis merged commit 80181e9 into Zomis:develop Sep 13, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants