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

chore: aggregate dependabot prs #405

Closed
wants to merge 6 commits into from
Closed

Conversation

doitian
Copy link
Member

@doitian doitian commented Apr 8, 2019

No description provided.

@doitian doitian requested a review from zhangsoledad April 8, 2019 01:42
@doitian doitian force-pushed the cargo/deps-2019-04-08 branch from f987308 to 69b8750 Compare April 8, 2019 02:18
@doitian doitian changed the title Cargo/deps 2019 04 08 chore: aggregate dependabot prs Apr 8, 2019
@zhangsoledad
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Apr 8, 2019
392: refactor: avoid recursive lock r=TheWaWaR a=zhangsoledad



405: chore: aggregate dependabot prs r=zhangsoledad a=doitian



Co-authored-by: zhangsoledad <[email protected]>
Co-authored-by: dependabot[bot] <[email protected]>
@bors
Copy link
Contributor

bors bot commented Apr 8, 2019

Build failed (retrying...)

  • continuous-integration/travis-ci/push

bors bot added a commit that referenced this pull request Apr 8, 2019
405: chore: aggregate dependabot prs r=zhangsoledad a=doitian



Co-authored-by: dependabot[bot] <[email protected]>
@doitian
Copy link
Member Author

doitian commented Apr 8, 2019

bors r+

bors bot added a commit that referenced this pull request Apr 8, 2019
405: chore: aggregate dependabot prs r=doitian a=doitian



Co-authored-by: dependabot[bot] <[email protected]>
@bors
Copy link
Contributor

bors bot commented Apr 8, 2019

Build failed

  • continuous-integration/travis-ci/push

@doitian
Copy link
Member Author

doitian commented Apr 8, 2019

Manually merged

@doitian doitian closed this Apr 8, 2019
@doitian doitian deleted the cargo/deps-2019-04-08 branch April 11, 2019 13:04
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.

4 participants