push options: {pre,post}-receive hook learns about push options