Feat: Add scripts to push, compile to byte code, set date

diff --git a/git-push-compyle b/git-push-compyle
new file mode 100755 (executable)
index 0000000..07a717a
--- /dev/null
+++ b/git-push-compyle
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+git push "$@" &&
+exec compyle-all

diff --git a/git-push-compyle-set-date b/git-push-compyle-set-date
new file mode 100755 (executable)
index 0000000..9226a14
--- /dev/null
+++ b/git-push-compyle-set-date
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+git push-compyle "$@" &&
+exec git set-date

diff --git a/git-push-set-date b/git-push-set-date
new file mode 100755 (executable)
index 0000000..e8e45b4
--- /dev/null
+++ b/git-push-set-date
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+git push "$@" &&
+exec git set-date

diff --git a/git-set-date b/git-set-date
new file mode 100755 (executable)
index 0000000..bb30ff9
--- /dev/null
+++ b/git-set-date
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+"`dirname \"$0\"`"/set-commit-date-recursive &&
+exec git stb