mirror of
https://github.com/hashicorp/vagrant.git
synced 2026-02-23 18:00:35 -05:00
17 lines
504 B
Bash
Executable file
17 lines
504 B
Bash
Executable file
#!/bin/bash
|
|
|
|
# Get the parent directory of where this script is.
|
|
SOURCE="${BASH_SOURCE[0]}"
|
|
while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
|
|
DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
|
|
|
|
# Change into that directory
|
|
cd $DIR
|
|
|
|
# Add the git remote if it doesn't exist
|
|
git remote | grep heroku-docs || {
|
|
git remote add heroku-docs git@heroku.com:vagrantup-docs.git
|
|
}
|
|
|
|
# Push the subtree (force)
|
|
git push heroku-docs `git subtree split --prefix website/docs master`:master --force
|