@michcio@fedi2.0x7f.one if you want to you could probably get push access fairly quickly (the rough policy is "someone that's around semi-often and has 2-3 medium or 5+ small PRs merged"