Open MrHug opened 6 years ago
Is having edits in votes a bigger problem than accidently merging something because someone decided to be an ass and edit something into a vote in favour?
Edit: test test
With the current group of player, nah. With a real online version, I think this is more future proof?
On Tue, 20 Mar 2018, 19:09 Pim Otte, notifications@github.com wrote:
Is having edits in votes a bigger problem than accidently merging something because someone decided to be an ass and edit something into a vote in favour?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/pimotte/nomic/pull/122#issuecomment-374700898, or mute the thread https://github.com/notifications/unsubscribe-auth/ADE2MzVVgu9Z1XXqPAKhRTyRRS_EKwBYks5tgUXSgaJpZM4Sw_sv .
:+1:
By the way, you don't need to state the extra points, just include them in the PR for them to count. Someone may request you to break down where you are getting the points within a certain PR.
👍
This might be useful?
Oh and I claim the 0.1 points for that quote, which I think I still need to state?