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

Added probot bots #530

Merged
merged 3 commits into from
Jul 3, 2019
Merged

Added probot bots #530

merged 3 commits into from
Jul 3, 2019

Conversation

luisivan
Copy link
Contributor

@coveralls
Copy link

coveralls commented May 29, 2019

Coverage Status

Coverage remained the same at 99.542% when pulling 60ee48a on probot-bots into d10d195 on dev.

@luisivan luisivan requested review from sohkai and removed request for izqui June 27, 2019 13:43
@sohkai
Copy link
Contributor

sohkai commented Jul 3, 2019

@luisivan I've just removed the stablebot configuration for this repo. Given the nature of how we work on this repo (often times there are longer-term issues and PRs open), it's not a great fit and would likely get annoying.

@sohkai sohkai merged commit 34554a8 into dev Jul 3, 2019
@welcome
Copy link

welcome bot commented Jul 3, 2019

Congrats on merging your first pull request! Aragon is proud of you 🦅
Eagle gif

@delete-merged-branch delete-merged-branch bot deleted the probot-bots branch July 3, 2019 09:56
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.

3 participants