I received a tip from tip4commit for a merged pull request to some github repository. The tip was too small to "cash out" on though, and I think I might have needed 40 or more tips like that in order to get a sum that was redeemable.