Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions tools/git-co
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/sh

exec git checkout "$@"
3 changes: 3 additions & 0 deletions tools/git-d
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/sh

exec git diff "$@"
3 changes: 3 additions & 0 deletions tools/git-s
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/sh

exec git status "$@"
3 changes: 3 additions & 0 deletions tools/git-ss
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/sh

exec git stack-status "$@"
8 changes: 8 additions & 0 deletions tools/git-stack-status
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
#!/bin/sh

# Shows all the submodules that are not in their master branch, i.e. need to
# have something merged before the stack PR can be merged.

git submodule foreach --recursive --quiet \
'echo "$(git rev-parse --abbrev-ref HEAD): $path"' \
| grep -v master
13 changes: 13 additions & 0 deletions tools/git-submit
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
#!/bin/sh

set -eu

BRANCH=$1

git checkout "$BRANCH"
git push upstream "$BRANCH:master"
git checkout master
git merge upstream/master
git push
git branch -d "$BRANCH"
git push origin ":$BRANCH"