Changes between Initial Version and Version 1 of Ticket #2619, comment 15


Ignore:
Timestamp:
2014-05-07T17:07:00Z (11 years ago)
Author:
Martin Sjölund

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2619, comment 15

    initial v1  
    22Let's say we have a mirror service on a github account:
    331. user makes a pull request
    4 1. a developer checks the request (can be automatically merged)
     41. a developer checks and approves the request (assume it can be automatically merged; else developer manually has to merge)
    551. the developer triggers our hudson to fetch the given pull request
    661. hudson builds OpenModelica and runs the tests