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

Old branches to be deleted or PR opened and PR's to be refreshed or deleted #459

Open
7 of 19 tasks
valeriupredoi opened this issue Feb 6, 2020 · 5 comments
Open
7 of 19 tasks
Labels
enhancement New feature or request

Comments

@valeriupredoi
Copy link
Contributor

valeriupredoi commented Feb 6, 2020

Assigning people to have a look and delete all the branches that don't have an active PR or do but the PR is ancient; please mark KEEP if you choose not to delete, tick the box after you deleted otherwise; I am also listing the ones that need serious refreshing 🍺

@mattiarighi
Copy link
Contributor

Spring cleaning!

@valeriupredoi
Copy link
Contributor Author

Indeed, found something useful to do instead of starting to write a gazillion slides for ARCDAP-3 😁

@valeriupredoi
Copy link
Contributor Author

OK completed the list - the winner is hands down @jvegasbsc - we can call Javi Ernest Hemingway from now on given that the guy had more notes to fit in a hundred unpublished novels 😁

@mattiarighi mattiarighi added the enhancement New feature or request label Feb 7, 2020
@tomaslovato
Copy link
Contributor

@valeriupredoi is this 2020 cleaning activity still a valid issue?

@valeriupredoi
Copy link
Contributor Author

pre-pandemic relics, we were so innocent back then - ok maybe not so much you and me haha - yeah we should come back to this, it's a useful way to get some tracking done, Javi has left though, so am not sure who to blame next 😆

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants