User Tools

Site Tools


wphase:repository

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
wphase:repository [2015/01/28 09:46]
wphase
wphase:repository [2015/02/03 11:05]
wphase
Line 7: Line 7:
   * [[http://​git-scm.com/​|Git Community]]   * [[http://​git-scm.com/​|Git Community]]
   * [[http://​schacon.github.com/​git/​user-manual.html|Git User Manual]]   * [[http://​schacon.github.com/​git/​user-manual.html|Git User Manual]]
-  * [[http://​contribute.jquery.org/​commits-and-pull-requests/​|Working with branches: Commits and Pull Requests]] (by jQuery Community)+
  
  
Line 41: Line 41:
  
 ===== Regular daily usage: develop branch (for developers) ===== ===== Regular daily usage: develop branch (for developers) =====
 +
 +If you would like to contribute or if you have any questions/​suggestions,​ [[zacharie.duputel@unistra.fr,​luis.rivera@unistra.fr|please contact us]].
  
   * After cloning the repository, one may want to list existing branches   * After cloning the repository, one may want to list existing branches
Line 118: Line 120:
 </​code> ​ </​code> ​
  
 +   * To create a new version tag, edit "​Version:​ rXXX" in bin/​Arguments.py and bin/​RUNA3.csh. You should also add the corresponding tag using:
 +<​code>​
 +git tag -a rXXX -m "Short description of this release"​
 +</​code>​
 +
 +   * Listing the available tags in Git is straightforward. Just type
 +<​code>​
 +git tag
 +</​code>​
 +
 +   * You can also see the tag data along with the commit that was tagged by using
 +<​code>​
 +git show r252
 +</​code>​
 ===== Configure ssh-keys for GitHub ===== ===== Configure ssh-keys for GitHub =====
  
 https://​help.github.com/​articles/​generating-ssh-keys https://​help.github.com/​articles/​generating-ssh-keys
  
wphase/repository.txt · Last modified: 2015/02/03 11:06 by wphase