Definition: You have mined a "gitcoin" if you have a commit to the main branch of your project that has a hash starting with "000". Find it with "git log | grep ^commit.000". On the main @toitware repo, only @decdiv has mined a gitcoin.