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: repo maintenance 🤖 #159

Closed
wants to merge 1 commit into from
Closed

Conversation

moul-bot
Copy link
Collaborator

@moul-bot moul-bot commented Jul 8, 2020

@moul-bot moul-bot requested a review from moul as a code owner July 8, 2020 21:21
@auto-add-label auto-add-label bot added the chore label Jul 8, 2020
@trafico-bot trafico-bot bot added the 🔍 Ready for Review Pull Request is not reviewed yet label Jul 8, 2020
@trafico-bot trafico-bot bot added ✅ Approved Pull Request has been approved and can be merged and removed 🔍 Ready for Review Pull Request is not reviewed yet labels Jul 8, 2020
@moul
Copy link
Owner

moul commented Jul 8, 2020

replaced by #160

@moul moul closed this Jul 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
✅ Approved Pull Request has been approved and can be merged chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants