DNI: Local devel scripts
diff --git a/scriptsgdb b/scriptsgdb
new file mode 100755
index 0000000..d36da6b
--- /dev/null
+++ b/scriptsgdb
@@ -0,0 +1,7 @@
+git checkout scriptsgdb/for-current
+git rebase $1
+git checkout scriptsgdb/for-next
+git rebase $1
+git checkout scriptsgdb/devel
+git rebase $1
+
diff --git a/update-github b/update-github
new file mode 100644
index 0000000..e92848d
--- /dev/null
+++ b/update-github
@@ -0,0 +1,4 @@
+git push github -f \
+ scriptsgdb/for-current \
+ scriptsgdb/for-next \
+ scriptsgdb/devel
