On 02.12.20 17:28, Mario Pranjic wrote: > On 12/1/20 9:28 PM, Sven Hartge wrote: >> Now the master branch can be deleted as it is no longer needed. >> > Will do very soon. I have set debian/latest as the new default branch of the repository so that the master branch is unlocked to be deleted.