diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 18:30:56 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 18:30:56 +0000 |
| commit | d3114e0edc60508fc1e44e6cd2733fb2a97cdaca (patch) | |
| tree | 82d66db664dea6ee75010455b98b04f47fcc4a90 /maint/push-to-public | |
| parent | Initial commit. (diff) | |
| download | pciutils-d3114e0edc60508fc1e44e6cd2733fb2a97cdaca.tar.xz pciutils-d3114e0edc60508fc1e44e6cd2733fb2a97cdaca.zip | |
Adding upstream version 1:3.11.1.upstream/1%3.11.1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'maint/push-to-public')
| -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 |