https://andrejcarter.com/2015/11/10/pull-or-push/