diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2023-11-20 22:03:32 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2023-11-20 22:05:27 +0100 |
commit | cd8322091e87b5cc8b0d8427a04cf882bc4230e0 (patch) | |
tree | 6b9cedfc742b4f1415b7de263a8a8839b1e89829 | |
parent | d1b0530fee6e308d68052cf63a8a35350a0e15ad (diff) | |
download | jgit-cd8322091e87b5cc8b0d8427a04cf882bc4230e0.tar.gz jgit-cd8322091e87b5cc8b0d8427a04cf882bc4230e0.zip |
Update repository URLs in CONTRIBUTING.md
after the move to eclipse.gerrithub.io.
Change-Id: I8e7aac62c991b941def263d3d7585991f1355738
-rw-r--r-- | CONTRIBUTING.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e0859d2c14..bb9df9ff6c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -12,17 +12,17 @@ chance to give input and is useful for tracking. ## Submitting changes -- We use [Gerrit](https://git.eclipse.org/r/) to review all changes by committers -or contributors before they are merged. +- We use [Gerrit on GerritHub](https://eclipse.gerrithub.io/q/project:eclipse-jgit/jgit+status:open) + to review all changes by committers or contributors before they are merged. - Make sure you have an account and have set up the `commit-msg` hook before committing. - When committing your changes, see the contributor guide or other commits on what your commit message should include. - Run the following to push your change for review (with `username` -replaced by your Gerrit username): +replaced by your GitHub username): ```bash -git push ssh://username@git.eclipse.org:29418/jgit/jgit.git HEAD:refs/for/master +git push ssh://username@eclipse.gerrithub.io:29418/eclipse-jgit/jgit HEAD:refs/for/master ``` - Add the link to the review as a comment on the bug report, so that |