Age | Commit message (Expand) | Author |
---|---|---|
2024-01-26 | just-mr 'distdir' repository: Absent roots sync with serve endpoint | Paul Cristian Sarbu |
2024-01-26 | just-mr async maps: Wrap passed raw pointers | Paul Cristian Sarbu |
2024-01-08 | just-mr distdir: Improved handling of absent root | Paul Cristian Sarbu |
2023-12-19 | other_tools: Fix missing includes of direct dependencies | Paul Cristian Sarbu |
2023-09-13 | just-mr: Implement 'absent' roots | Paul Cristian Sarbu |
2023-08-07 | just-mr: Set ignore-special roots via a pragma... | Paul Cristian Sarbu |
2023-05-31 | distdir repos: Add option for ignore-special root | Paul Cristian Sarbu |
2023-03-20 | just-mr: rework progress reporting and statistics | Klaus Aehlig |
2023-02-27 | Just-MR: Extend ops and root maps keys with fields needed in progress reporting | Paul Cristian Sarbu |
2023-01-10 | Just-MR: Fix distdir computation in internal just-mr | Paul Cristian Sarbu |
2022-12-21 | Just-MR: Add distdir to WS root git map | Paul Cristian Sarbu |