Changes between Version 1 and Version 2 of Ticket #12419, comment 9


Ignore:
Timestamp:
Sep 7, 2021, 3:06:43 PM (13 months ago)
Author:
Frédéric Chapoton
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12419, comment 9

    v1 v2  
    77in very short :
    88
    9 (1) clone the git repo
     9(1) clone the git repo and go to the develop branch
    1010
    1111(2) set the remote to trac
    1212
    13 (3) make a local branch
     13(3) make a local branch on top of the develop branch
    1414
    1515(4) push the branch to trac under u/your_trac_name/branch_name