Here are
53 public repositories
matching this topic...
Purge archives in a borg repository by week, month, year using a datestamp in the archive name
Updated
May 4, 2020
Shell
Yet another docker garbage collection tool
Updated
Jul 27, 2020
Shell
Remove old unused secrets from docker swarm
Updated
Mar 21, 2020
Python
Erase all pipelines (and their jobs) but the last one from a GitLab project
Updated
Jan 17, 2019
Python
Code made for Constraint Programming classes, similar with the 8 queens problem, analyzing solutions, pruning and use of an heuristic to optimize our code
Updated
Dec 28, 2022
Jupyter Notebook
A CLI tool to prune local GIT branches that are not present on remote.
Updated
Sep 25, 2020
Rust
clean remote branch which already merged origin/develop or origin/master
Updated
Jun 13, 2017
Shell
Updated
Jan 17, 2024
Python
Architecture for pruning methods analysis using pytorch prune module
Updated
Jun 2, 2024
Python
Updated
Nov 10, 2020
Python
Remove tags from local and remote repositories based on search string.
Updated
Jan 9, 2018
Python
Updated
Feb 27, 2020
Swift
Updated
Apr 22, 2020
JavaScript
🙌 Remove duplicate properties and declarations from your CSS
Updated
Jun 12, 2020
JavaScript
Updated
Apr 6, 2018
Shell
git-purged - a git sub command to list branches already removed (and possibly merged) on a remote origin. This a mirror of my git repository.
Deletes all files from the RequireJS bundle output directory except for the output bundles.
Updated
Oct 27, 2019
JavaScript
Improve this page
Add a description, image, and links to the
prune
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
prune
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.