Gitcoin Donations - What should we do with them?

We have over 13k from the Gitcoin grants sitting on Griff’s controlled wallet. There was a forum open for quite some time and this is the suggestions done there.

Forum thread

Option 1: Convert it all to WXDAI and it to Lasertag to use it to LP later.

Option 2: Convert the DAI and small amounts to WXDAI and leave the PAN and ETH as is and send it to Lasertag to use it to LP later.

Option 3: Convert it to WXDAI and send it to a Common Pool.

Option 4: Convert it to WXDAI then to TEC and send it to the Reward Board.

Option 5: Let it rot.

Option 6: Embezzle and party in BCN!