Gitcoin is a community of 84,244 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.