Paul Fultz II
|
7929993b8f
|
Use library to track container lifetimes
|
2019-08-15 20:36:25 +02:00 |
Daniel Marjamäki
|
7fe021199b
|
tools/pr.py: use -b to just checkout pull request code in a branch
|
2019-06-30 21:24:11 +02:00 |
|
Daniel Marjamäki
|
b0e1138f80
|
pr.py: fix
|
2019-04-16 20:13:38 +02:00 |
|
Daniel Marjamäki
|
0c3a6b44f8
|
tools/pr.py: add --rebase=true to pull command and abort if there are conflicts
|
2019-04-15 06:59:28 +02:00 |
|
Daniel Marjamäki
|
60ce95c1ec
|
tools/pr.py: minor tweak
|
2018-11-20 06:36:08 +01:00 |
|
Daniel Marjamäki
|
399fef17ca
|
Add script pr.py to merge pull requests. runastyle is executed automatically.
|
2018-11-20 06:20:46 +01:00 |