Differences

This shows you the differences between two versions of the page.

--- package:dev:start [2022/11/28 17:08] – robert
+++ package:dev:start [2022/11/28 17:19] (current) – robert
@@ Line 53: / Line 53: @@
 git fetch github
+== Giving other People Access to your Private Repo ==
+In Gitlab, on the main page of your private repository, go to "Project Information" on the left, then "Members", then "Invite members" on the top right. Here you can search for people and select their role. We recommend the role of guest. As guests, they can't modify your repository. Please note that in Gitlab, users first have to be logged in once to be found in the search.
 == Creating a new Branch ==
@@ Line 62: / Line 65: @@
 == Updating from the Upstream Repo ==
-If you want to get the newest changes from the upstream repo into your current branch you can:
+If you want to get the newest changes from the upstream repo into your current branch, you can:
   - fetch the private repository: git fetch origin
   - merge the changes into your current branch with: git merge origin/main
@@ Line 68: / Line 71: @@
 == Pushing to the GitHub Fork ==
-To be able to create a pull request your work first has to be publically available in your GitHub fork repo. Assuming that you have a branch named "new_work" with the changes/contribution you want to bring into the upstream repo, push it to your fork repo with:
+To be able to create a pull request, your work first has to be publically available in your GitHub fork repo. Assuming that you have a branch named "new_work" with the changes/contribution you want to bring into the upstream repo, push it to your fork repo with:
 git push github new_work