I'm trying to publish a library using Jitpack. By default the groupId is set to com.github.username.repo
but I would like it to be com.mydomain.libs
instead. The official docs say that for that I need to
Add a DNS TXT record that maps git.yourcompany.com to https://github.com/yourcompany
What does this actually mean? Should I do this somewhere on github or on my mydomain.com
website?