Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the ability to force push a branch. #97

Merged
merged 1 commit into from
Dec 5, 2016

Conversation

dfedde-pivotal
Copy link
Contributor

Add the 'force' option to the put script allowing the user to force
the branch to be pushed to the remote.

# switch back to master
git -C $repo1 checkout master

test "$(git config --global core.pager)" == 'true'

This comment was marked as spam.

git push --tags push-target HEAD:refs/heads/$branch --force
else
git push --tags push-target HEAD:refs/heads/$branch
fi
}

push_tags() {

This comment was marked as spam.

This comment was marked as spam.

This comment was marked as spam.

local ref=$(make_commit $repo2)
make_commit $repo1
# cannot push to repo while it's checked out to a branch
git -C $repo1 checkout refs/heads/master

This comment was marked as spam.

This comment was marked as spam.

This comment was marked as spam.

Add the 'force' option to the put script allowing the user to force
the branch to be pushed to the remote.

Signed-off-by: Tom Charles <tcharles@pivotal.io>
@concourse-bot
Copy link
Collaborator

Hi there!

We use Pivotal Tracker to provide visibility into what our team is working on. A story for this issue has been automatically created.

The current status is as follows:

  • #135458733 Add the ability to force push a branch.

This comment, as well as the labels on the issue, will be automatically updated as the status in Tracker changes.

@dfedde-pivotal
Copy link
Contributor Author

We tried to address all of the issues you had. would you take a look at it again?

@vito
Copy link
Member

vito commented Dec 5, 2016

looks great, thanks a bunch!

@vito vito merged commit b97d0a0 into concourse:master Dec 5, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants