Michael Muré
|
feab9412df
|
WIP identity in git
|
2019-03-01 22:35:36 +01:00 |
|
Michael Muré
|
82eaceffc1
|
repo: split the Repo interface to avoid abstraction leak in RepoCache
|
2018-09-21 18:53:37 +02:00 |
|
Michael Muré
|
1060acfd53
|
bug: reclassify some merge error as "invalid" instead of hard error
|
2018-09-19 21:45:52 +02:00 |
|
Michael Muré
|
7bec0b1f13
|
bug: add a data validation process to avoid merging incorrect operations
|
2018-09-15 13:15:00 +02:00 |
|
Michael Muré
|
19f43a83c3
|
bug: proper int baked enum for merge result status instead of a string
|
2018-09-13 11:13:51 +02:00 |
|
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 |
|