search

aiondemand / AIOD-rest-api

Services for the core of AIoD: Authentication and the metadata catalogue with REST API.
https://api.aiod.eu
MIT License
10 stars 7 forks source link

Delete branch on merge? #260

Open PGijsbers opened 7 months ago

PGijsbers commented 7 months ago

There are a lot of branches in this project, and most of them have already been merged. In order to keep a better overview, I suggest we delete all branches which have been merged into develop, and to turn on the Github setting to delete branches automatically on a merge.

jsmatias commented 7 months ago

Indeed, there are too many branches. I never deleted a branch that was fully developed and merged, but I assume that the history of the commits, PRs, etc. doesn't change. In that case we can probably do as you suggested.

PGijsbers commented 4 months ago

I do not have the permission to change these settings.