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

Remove dev/master branch #107

Closed
wrongkindofdoctor opened this issue Aug 8, 2019 · 1 comment
Closed

Remove dev/master branch #107

wrongkindofdoctor opened this issue Aug 8, 2019 · 1 comment
Assignees

Comments

@wrongkindofdoctor
Copy link
Contributor

master is up-to-date with dev/master via #103 , so dev/master is ready to be deleted. The branch is protected, and the repository owner needs to remove it.

@underwoo
Copy link
Member

underwoo commented Aug 8, 2019

Done.

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

No branches or pull requests

2 participants