@alecui Well we certainly havent changed anything over on git the last few days... are you just trying to delete a git repo? OR remove it from the group and put it back under your personal name?
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.