Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
laragit [2015/01/20 14:16] wikiadmin |
laragit [2018/11/01 16:12] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Using our Git Server ====== | ====== Using our Git Server ====== | ||
| - | |||
| - | |||
| - | |||
| - | |||
| ===== Setup ===== | ===== Setup ===== | ||
| Line 95: | Line 91: | ||
| - | ==== Setting Permissions ==== | + | ==== Working Way of Setting Permissions ==== |
| + | |||
| + | The only thing that matters once you created repo is that kuncak has access to it. So, do this: | ||
| + | |||
| + | ssh git@laragit.epfl.ch perms papers/p-equals-np + WRITERS kuncak | ||
| + | |||
| + | ==== OLD WAY OF Setting Permissions ==== | ||
| - | It's convenient to have a file called ''PERMISSIONS'' in the root directory of the repository that looks as follows: | + | (This does not seem to work any more.) It's convenient to have a file called ''PERMISSIONS'' in the root directory of the repository that looks as follows: (OUTDATED!) |
| #!/bin/bash | #!/bin/bash | ||
| Line 104: | Line 106: | ||
| # also need to execute it. | # also need to execute it. | ||
| # | # | ||
| - | # The creator of this repository is YOUR_SCIPER_HERE. | + | # The creator of this repository is YOUR_USERNAME. |
| | | ||
| thisrepo="whatever/you-just-cloned" | thisrepo="whatever/you-just-cloned" | ||
| Line 112: | Line 114: | ||
| exit $_ | exit $_ | ||
| | | ||
| - | # **Do not** add new lines after the following two! | + | # **Do not** add new lines after the following three! |
| OWNERS kuncak fsalvi YOUR_USERNAME | OWNERS kuncak fsalvi YOUR_USERNAME | ||
| WRITERS kuncak YOUR_USERNAME | WRITERS kuncak YOUR_USERNAME | ||
| Line 121: | Line 123: | ||
| - When the creator of the repository executes it, it updates the rights. | - When the creator of the repository executes it, it updates the rights. | ||
| - | As you would expect, ''WRITERS'' can commit to the repository, ''READERS'' can only read from it. (Note that it's fine to have an empty list of ''READERS'', for instance.) Use ''@lara'' as a shorthand for your group of comrades. OWNERS is a new role which allow to set the permissions to the repository (eg to allow other people to add new commiters). | + | As you would expect, ''WRITERS'' can commit to the repository, ''READERS'' can only read from it. (Note that it's fine to have an empty list of ''READERS'', for instance.) Use ''@lara'' as a shorthand for your group of comrades. ''OWNERS'' is a new role which allow to set the permissions to the repository (eg to allow other people to add new commiters). |
| - | If it doesn't exist, you can get the permissions with: | + | If the file doesn't exist, you can get the permissions with: |
| ssh git@laragit.epfl.ch perms -l <repository> | ssh git@laragit.epfl.ch perms -l <repository> | ||