You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should probably have some scripts for helping manage dealing with all the extensions.
Unless I'm mistaken, feature/env and feature/type_qualifiers are all stale? It'd be nice to have a script to mass-delete these (including from github), in particular so the Jenkins All Branches view is not so polluted: http://coldpress.cs.umn.edu:8080/view/All%20branches/
The text was updated successfully, but these errors were encountered:
We should probably have some scripts for helping manage dealing with all the extensions.
Unless I'm mistaken,
feature/env
andfeature/type_qualifiers
are all stale? It'd be nice to have a script to mass-delete these (including from github), in particular so the Jenkins All Branches view is not so polluted: http://coldpress.cs.umn.edu:8080/view/All%20branches/The text was updated successfully, but these errors were encountered: