You are right!  Somehow I did not include it with the push request.  I will add it shortly, but, to be honest, I don't fully understand what it is or how it is used.  The version I am committing is just the WFS version munged a little to (look like) it works with WCS.   Maybe it would be better to omit this file altogether?