diff options
author | Martin Mares <mj@ucw.cz> | 2024-02-18 12:12:01 +0100 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2024-02-18 12:12:25 +0100 |
commit | fafca2cb3f0595fb8f1823fdb00c7562af08a401 (patch) | |
tree | 1cbb4579b1c48f688ffd821abeab6fee7178a294 | |
parent | 37ccbb7e3f7db7d98b3f3c092bc30bbd405e6796 (diff) | |
download | pciutils-fafca2cb3f0595fb8f1823fdb00c7562af08a401.tar.gz |
Maint: Added a script for pushing to both public repos
-rwxr-xr-x | maint/push-to-public | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maint/push-to-public b/maint/push-to-public new file mode 100755 index 0000000..d1ab4f3 --- /dev/null +++ b/maint/push-to-public @@ -0,0 +1,4 @@ +#!/bin/sh +set -e +git push public +git push github |