e5655ed216
ggpushmr has now been renamed to ggpushpr. The only place it is called a "Merge Request" is in Gitlab. All the community has now decided to go with Github's "Pull Request". This also makes the branch param optional. If you don't pass a branch name it will make the pull request against the repositories default branch.
22 lines
679 B
Bash
22 lines
679 B
Bash
source $ZSH/lib/git.zsh
|
|
|
|
alias gcon="git diff --name-only --diff-filter=U"
|
|
alias gml="git merge --log"
|
|
alias gl="git --no-pager log --oneline --reverse --max-count=40"
|
|
alias gap="git add -p"
|
|
|
|
function git_get_fetch_url() {
|
|
git remote show origin -n | awk '/Fetch URL:/{print $3}'
|
|
}
|
|
|
|
function gi() {
|
|
curl -sL https://www.gitignore.io/api/$@;
|
|
}
|
|
|
|
function ggpushpr() {
|
|
if [[ -z "$1" ]]; then
|
|
ggpush -o merge_request.merge_when_pipeline_succeeds -o merge_request.create -o merge_request.remove_source_branch
|
|
else
|
|
ggpush -o merge_request.merge_when_pipeline_succeeds -o merge_request.create -o merge_request.remove_source_branch -o merge_request.target="$1"
|
|
fi
|
|
}
|