Hacker News new | ask | show | jobs
by EE84M3i 2142 days ago
This is confusing to me because I thought the right way to do it was push-relabel.