summaryrefslogtreecommitdiff
path: root/src/other_tools/repo_map
AgeCommit message (Expand)Author
2023-08-07just-mr: Update async map keys with the 'special' pragma valuePaul Cristian Sarbu
2023-08-07just-mr: Add map for pragma 'special' valuesPaul Cristian Sarbu
2023-08-07just-mr: Set ignore-special roots via a pragma...Paul Cristian Sarbu
2023-06-06style: Use designated initializersPaul Cristian Sarbu
2023-05-31git tree repos: Add option for ignore-special root...Paul Cristian Sarbu
2023-05-31distdir repos: Add option for ignore-special rootPaul Cristian Sarbu
2023-05-31archive repos: Add option for ignore-special rootPaul Cristian Sarbu
2023-05-31git repos: Add option for ignore-special rootPaul Cristian Sarbu
2023-05-31file repos: Add option for ignore-special rootPaul Cristian Sarbu
2023-04-26just-mr: Fix warning about unused lambda captureOliver Reiche
2023-03-20just-mr: rework progress reporting and statisticsKlaus Aehlig
2023-03-09Just-MR: Improve logging messagesPaul Cristian Sarbu
2023-03-08Just-MR: Add logic for git tree repository type setupPaul Cristian Sarbu
2023-02-27Just-MR: Add progress reporting for setup commandPaul Cristian Sarbu
2023-02-27Just-MR: Extend ops and root maps keys with fields needed in progress reportingPaul Cristian Sarbu
2023-01-10repos_to_setup_map: Remove unnecessary logger capture in lambda callsPaul Cristian Sarbu
2023-01-10Just-MR: Fix distdir computation in internal just-mrPaul Cristian Sarbu
2022-12-23Just-MR: Remove wrong pass-by-reference when wrapping loggersPaul Cristian Sarbu
2022-12-21Just-MR: Add repos-to-setup mapPaul Cristian Sarbu