how to configure a darcs repo with an RSS patch feed