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:22] wikiadmin [Setting Permissions] |
laragit [2018/11/01 16:12] (current) 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" |