Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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
 
laragit.1421767600.txt.gz · Last modified: 2015/01/20 16:26 by wikiadmin
 
© EPFL 2018 - Legal notice