Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Backport Master CI PRs to Beta #7890

Merged
merged 9 commits into from
Feb 14, 2018
Merged

Backport Master CI PRs to Beta #7890

merged 9 commits into from
Feb 14, 2018

Conversation

5chdn
Copy link
Contributor

@5chdn 5chdn commented Feb 14, 2018

@5chdn 5chdn added A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration. labels Feb 14, 2018
@5chdn 5chdn added this to the Patch milestone Feb 14, 2018
@5chdn 5chdn removed the A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. label Feb 14, 2018
@5chdn 5chdn merged commit 1de095f into beta Feb 14, 2018
@5chdn 5chdn deleted the a5-ci-beta branch February 14, 2018 15:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants