Closed buehner closed 2 years ago
This adds a script that can be used to delete certain branches in case you wanna rebuild specific geoserver versions
This adds a script that can be used to delete certain branches in case you wanna rebuild specific geoserver versions