8000 Fixed merge command to show proper information after merge by peterrehm · Pull Request #3 · peterrehm/gh · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fixed merge command to show proper information after merge #3

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

Merged
merged 1 commit into from
Dec 16, 2014

Conversation

peterrehm
Copy link
Owner

The merge command had an issue detecting the merge status since it relied on another
call to the github api. Most likely to the way we merge the commits the merge status is
updated slightly later.

The check now relies on the fact that all commands will be executed successfully.

Tickets:

  • none

@peterrehm peterrehm merged commit a0124f8 into master Dec 16, 2014
peterrehm added a commit that referenced this pull request Dec 16, 2014
…terrehm)

Discussion
----------

The merge command had an issue detecting the merge status since it relied on another
call to the github api. Most likely to the way we merge the commits the merge status is
updated slightly later.

The check now relies on the fact that all commands will be executed successfully.

Tickets:
- none

Commits
-------

- a0124f8 merge command detected merge status incorrectly. (peterrehm)
@peterrehm peterrehm deleted the merge-command branch October 25, 2015 15:50
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.

1 participant
0