This repository has been archived by the owner on Apr 21, 2023. It is now read-only.

Clean up branches #10

Closed

fjoshuajr opened this issue Feb 14, 2019 · 4 comments

Collaborator

fjoshuajr commented Feb 14, 2019

I think we should clean up merged branches to keep the repository easy to browse.

Thoughts?

telmogoncalves commented Feb 14, 2019 •

edited

That's fine with me.

Collaborator

jbarradas commented Feb 14, 2019

Fine with me too.

Collaborator Author

fjoshuajr commented Feb 14, 2019

👌

fjoshuajr closed this as completed

Collaborator Author

fjoshuajr commented Feb 14, 2019 •

edited

From now on, after a merge the author shall delete his PR branch.

fjoshuajr reopened this

fjoshuajr closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.