Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release Candidate 13 #1927

Merged
merged 36 commits into from
May 19, 2018
Merged

Release Candidate 13 #1927

merged 36 commits into from
May 19, 2018

Conversation

matthid
Copy link
Member

@matthid matthid commented May 12, 2018

matthid and others added 28 commits May 12, 2018 20:10
Better deprecated message.
make sure to start targets as early as possible when all dependencies…
- Test production deployment with fake-staging github user & repository on staging
- Fix #1750
- Fix another issue with globbing when the base directory name is a substring of the directory to glob into.
@matthid
Copy link
Member Author

matthid commented May 18, 2018

@MangelMaxime Changed it according to your feedback, thanks!

@matthid matthid changed the title Release Candidate 13 Release Candidate 13 / 14 May 18, 2018
@matthid
Copy link
Member Author

matthid commented May 18, 2018

Re-using this branch for rc14 as the production deployment failed (and I failed to merge this PR). After rc we probably will have some release-branch we merge re-use. We will see.

@matthid matthid changed the title Release Candidate 13 / 14 Release Candidate 13 May 19, 2018
@matthid matthid merged commit 7bc35bb into master May 19, 2018
@matthid matthid deleted the release/rc_13 branch May 19, 2018 13:34
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