Enable tipping of $HEAD within the discord
Integrate a bot that will allow community members to tip $HEAD to other community members.
Off-Chain Vote
Integrate the tip bot
119 90.8%
Do Not Integrate the tip bot
12 9.2%
Timeline
Nov 11, 2021Proposal created
Nov 11, 2021Proposal vote started
Nov 15, 2021Proposal vote ended
Oct 26, 2023Proposal updated