Changes between Version 40 and Version 41 of HowToGit


Ignore:
Timestamp:
May 24, 2019, 4:25:38 AM (5 years ago)
Author:
martinl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • HowToGit

    v40 v41  
    9494Continue do your changes and commit/push them (ideally to a feature branch, see above).
    9595
    96 ==== Review of pull requests ====
     96=== Review of pull requests ===
    9797
    9898In the review phase, PRs can be commented and modified.
    … …  
    100100TODO add more
    101101
    102 ==== Merging of pull requests ====
     102=== Merging of pull requests ===
    103103
    104104The CI should run successfully for every commit (chunk of commits in PR to be exact) before it goes into the respective branch.