Dear mentors, I am currently working on the boogie package. There has been a new upstream release which I'm trying to package; I'm not very familiar with Mono and CLI packaging, but I'll see how far I can get.
In any case, I would like to maintain my (and others') work in a repository on Salsa in the Debian group. But since I'm not a Debian Developer, I can't create the repository myself. So, can somebody please create a 'boogie' repository in the Debian group on Salsa *and* give me Maintainer access to it (so that I can set up everything and push to the master branch etc.)? Thanks in advance! By the way: I did take note of the Vcs-* fields in debian/control, but the URL is not reachable anymore ("404 Not Found"). Also, the current maintainer has given the package up for adoption (#903142), so he won't mind me working on the package. Best regards, Fabian