Log In
koji-tools
Clone
Source Code
GIT
Source
Issues
3
Pull Requests
2
Stats
Overview
Files
Commits
Branches
Forks
Releases
34a57e5
PR#22: tools to dump/restore hosts
Merged and Committed by
mikem
5 years ago
raw
patch
tree
parents
bd3602e1d4e9e6f85cf674cf0eb719d10e5659c3
faf401c42cb81595bd52ea4eba889e2495d4d457
3 files changed.
219 lines added
.
0 lines removed
.
README.md
file modified
+4
-0
src/bin/koji-dump-hosts
file added
+68
src/bin/koji-restore-hosts
file added
+147
PR#22: tools to dump/restore hosts Merges #22
https://pagure.io/koji-tools/pull-request/22
README.md
file modified
+4
-0
src/bin/koji-dump-hosts
file added
+68
src/bin/koji-restore-hosts
file added
+147