hi from gitcoin. (https://gitcoin.co/mission https://gitcoin.co/mission) our bounties platform is coupled to github, but grants/tips/other tools are not. we p

hi from gitcoin. (https://gitcoin.co/mission https://gitcoin.co/mission) our bounties platform is coupled to github, but grants/tips/other tools are not. we plan to decouple from github eventually. until then, the workaround is to post a gitlab repo into a github issue and bounty that. any other questions lmk