add pull scripts

2023-09-30 21:39:01 +02:00 · 2023-09-30 21:39:01 +02:00 · 8543abbcff
parent d5e28e7b02
commit 8543abbcff
2 changed files with 8 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+.idea
--- a/pull.sh
+++ b/pull.sh
@ -0,0 +1,7 @@
+#!/bin/zsh
+set -e
+git checkout upstream-master
+git pull
+git subtree split --prefix=configs/releng --onto upstream-releng -b upstream-releng
+git checkout master
+git rebase upstream-releng