t / t5100 / patch0017on commit push options: {pre,post}-receive hook learns about push options (77a9745)
   1diff --git a/foo b/foo
   2index e69de29..d95f3ad 100644
   3--- a/foo
   4+++ b/foo
   5@@ -0,0 +1 @@
   6+New content