dev-remote
git-town.dev-remote=<remote>
This setting lets you override the name of the Git remote used for development.
This is the remote that branches get pushed to, and into which branches get
shipped to. Usually that remote is called origin
. This is also the default
value for this setting.
config file
To configure the development remote in the configuration file:
[hosting]
dev-remote = "<remote name>"
Git metadata
To configure the development remote manually in Git, run this command:
git config [--global] git-town.dev-remote <remote name>
The optional --global
flag applies this setting to all Git repositories on
your machine. Without it, the setting applies only to the current repository.