| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2016-12-07 | clean-up-bad-named-entries.sh: script for mopping up a mess I made | Ray Strode | 1 | -0/+11 | |
| When I first did the github mirroring I didn't handled nested repos in a namespaced way. This script goes in and deletes all the unnamespaced names. | |||||
 |
index : github-mirror | |
| scripts for managing git related tasks on git.freedesktop.org | root |
| summaryrefslogtreecommitdiff |