summaryrefslogtreecommitdiff
path: root/src/other_tools/repo_map
AgeCommit message (Expand)Author
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