Jehan commented:
@averi Ok. I made a first commit with a DOAP file which looks valid AFAICT, the github mirror got indeed created when I made this first commit. Unfortunately the repo is empty on github. Anything missing for the mirroring to be effective?