Grow Open Source Bounties Hackathons Grants Quests Kudos

Gitcoin is a community of 39,102 amazing open source developers working remotely to build in Web3.

• jimn2k@jimn2kJust migrating to a more user-friendly environment and hopefully putting something onto GitHub, if I'm doing this right.There's something strange about importing interfaces I macro into existence rather than importing them from the appropriate GitHub account, but I'm just writing abstracts at this point, so maybe there's something I forgot to do in-workspace to set that up.