RFR: Comment detailing refspec format in GitRepository#push

[Julian Waters]

On Thu, 22 Dec 2022 18:02:49 GMT, Julian Waters <jwaters at openjdk.org> wrote:

> Small change to document the git refspec field in GitRepository#push via comment

Ah, thanks Magnus

-------------

PR: https://git.openjdk.org/skara/pull/1448