rebasing local branch from origin
git pull --rebase
if rebasing from a different remote branch
git pull --rebase origin master
most of the time, after pull, you’ll need to update the submodules
| package versionbuilder | |
| class VersionBuilder { | |
| static final int GIT_COMMIT_COUNT_NORMALIZE = 230; | |
| static final int GIT_COMMIT_COUNT_MINOR_NORMALIZE = 0; | |
| static def buildGitVersionNumber() { | |
| return Integer.parseInt('git rev-list --count HEAD'.execute().text.trim()) - GIT_COMMIT_COUNT_NORMALIZE; | |
| } |
| #!/bin/sh | |
| java -jar git-blame-reviewers-suggestions-1.0-SNAPSHOT-jar-with-dependencies.jar |
| [buildfile] | |
| includes = //DEFS |
| #!/bin/bash | |
| command -v gtime >/dev/null 2>&1 || { echo >&2 "GNU time is required. Install it through 'brew install gnu-time'. Aborting."; exit 1; } | |
| command -v rs-git-fsmonitor >/dev/null 2>&1 || { echo >&2 "rs-git-fsmonitor is required. Read https://github.com/jgavris/rs-git-fsmonitor#installation for how to install. Aborting."; exit 1; } | |
| if [[ "${USER}" != "root" ]]; then | |
| echo "Run this script as root, since we need to call dtruss during the script." | |
| exit 1 | |
| fi |
| [ | |
| { | |
| "type": 1, | |
| "title": "Menny's dev box", | |
| "name": "menny-dev-box", | |
| "logo": "https://avatars.githubusercontent.com/u/481272?s=96", | |
| "platform": "linux", | |
| "categories": [ | |
| "development", | |
| "utilities" |