Wow. you just created a tracking issue. We should probably support that...
profile showing repos maintained by npub is an existing issue:
nostr:nevent1qqsyxwvgdaacc3hcd9rjwmjwqsfpu8guhrj37026ntl3aqw02mrprsgpp4mhxue69uhkummn9ekx7mqzyr7jprhgeregx7q2j4fgjmjgy0xfm34l63pqvwyf2acsd9q0mynuzp660g9
https://gitworkshop.dev/repo/gitworkshop/issue/4339886f7b8c46f86947276e4e04121e1d1cb8e51f3d5a9aff1e81cf56c611c1
pinning seems like an enhancement of this. I wonder whether there is less of a need for this than in github as you don't have to fork someone else's repository to contribute to it?
bookmarking is:
nevent1qqs2gjqk25s39arep650xn04jk79nlua6vl7pgmpadt39yu22uh839gpp4mhxue69uhkummn9ekx7mqzyr7jprhgeregx7q2j4fgjmjgy0xfm34l63pqvwyf2acsd9q0mynuz609tnt
https://gitworkshop.dev/repo/gitworkshop/issue/a44816552112f4790ea8f34df595bc59ff9dd33fe0a361eb5712938a572e7895
User activity feed in the profile looks like a new request.