Michael Muré
|
6d7e79a277
|
cache: refactor to handle bug changes during Pull
|
2018-09-08 14:17:08 +02:00 |
|
Michael Muré
|
61a1173ec3
|
bug: refactor the Pull code to have the message formating in the upper layers
|
2018-09-07 17:10:40 +02:00 |
|
Michael Muré
|
6ff02ed842
|
add some documentation
|
2018-09-02 15:37:28 +02:00 |
|
Michael Muré
|
7397c94d99
|
make CLI commands use the cache to lock the repo properly
|
2018-08-31 17:22:10 +02:00 |
|
Michael Muré
|
08127d8d1c
|
bug: add benchmarcks for bug merge
|
2018-08-19 20:40:50 +02:00 |
|
Michael Muré
|
df144e727a
|
fix some linting trouble
|
2018-08-13 15:28:47 +02:00 |
|
Michael Muré
|
e2f4b027c9
|
termui: implement push/pull
|
2018-08-12 21:09:30 +02:00 |
|
Michael Muré
|
90fb85e067
|
bug: store the referenced media in their own git tree under /media, as per the doc I wrote myself
|
2018-08-05 15:26:36 +02:00 |
|
Michael Muré
|
6a12373965
|
more refactoring to have reusable bug action across different UI
|
2018-07-25 18:01:32 +02:00 |
|