@juergh, ok. I deliberately added that `-p` argument to `git request-pull` in the past in order to give more details before one decides to fetch it down. I've removed it from my local scripts.
@juergh, ok. I deliberately added that `-p` argument to `git request-pull` in the past in order to give more details before one decides to fetch it down. I've removed it from my local scripts.