summaryrefslogtreecommitdiff
path: root/src/other_tools/ops_maps
AgeCommit message (Collapse)Author
2023-01-20Move file_storage.hpp to file_system subdirectorySascha Roloff
2023-01-16just-mr fetch: fix overwriting distfilesKlaus Aehlig
Both, the python script as well as the compiled variant of just-mr fetch try to overwrite already existing distfiles in the distdir. While it is unclear if overwriting existing distfiles or not copying to distdir if a file with that name already exists is the better behaviour, we at least should not error out, as the compiled just-mr currently does as it sets permission to 444 and hence cannot overwrite later; fix this by addwing owner write permissions before overwriting.
2022-12-23Just-MR: Remove wrong pass-by-reference when wrapping loggersPaul Cristian Sarbu
Passing the logger by reference would require the caller to be kept alive. Also, being a shared_ptr, the logger can be passed by value at almost no cost.
2022-12-21Just-MR: Add archive fetch mapPaul Cristian Sarbu
2022-12-21Just-MR: Add archive content-in-CAS mapPaul Cristian Sarbu
Calls libcurl to fetch the archives from the internet.
2022-12-21Just-MR: Add git commit update mapPaul Cristian Sarbu
2022-12-21Just-MR: Add import-to-git mapPaul Cristian Sarbu
2022-12-21Just-MR: Add critical git op mapPaul Cristian Sarbu