Ok for me. But some comments

As you can see in the man pages of all 4 git commands you mention they all call it "repository". The push command man page e.g. shows  that "names of remotes" and URLs are different things and both can go into this parameter. I guess that's why they didn't called it "remote".

But even if I could convince you: since the FetchCommand API is included in our released jgit version I can't change it anymore. And I agree: beeing consistent between Fetch and Pull is important.

Maybe we could add additional setters for "repository" to all these commands just to be in sync with native git terminology.