Open amozeo opened 3 months ago
GitHub doesn't provide a URL/redirect to a users profile based on the ID, an API request would have to be performed to get the username associated with the ID which is probably infeasible. You should just add your GitHub username under the github
attribute.
My name on package that I maintain (
antimatter-dimensions
) is not hyperlinked like in other maintainers (maintainer name inhello
package is hyperlinked to his GitHub account)I believe it's because I didn't provide
github
attribute, but onlygithubId
attribute inmaintainers-list.nix
when I was adding myself to that list. see hererelated: https://github.com/NixOS/ofborg/issues/685