Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
laragit [2015/01/20 16:26] 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 |