-
Type:
Task
-
Resolution: Won't Do
-
Priority:
L3 - Default
-
Affects Version/s: None
-
Component/s: backend
-
None
AT:
- create github bot that deletes branches from pull requests that
- are merged and
- older than 1 week
- not protected
(** maybe even that the related JIRA ticket is closed)