Skip to content

Conversation

@hpatoio
Copy link
Contributor

@hpatoio hpatoio commented Sep 2, 2014

No description provided.

@hpatoio hpatoio mentioned this pull request Sep 2, 2014
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why is this not optional anymore?

@dbu
Copy link
Contributor

dbu commented Sep 2, 2014

thanks simone. i asked a bunch of questions, but i think the approach looks the best we can do.

regarding versioning, is this a bugfix or a new feature? meaning should this go into 1.1 or 1.0?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would name it getHttpClient to avoid confusing as this is inside a ProxyClient

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Due we have setBaseUrl we can change this to getBaseUrl ? No ?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

getBaseUrl would be a URL, but here we return a client object.

@dbu
Copy link
Contributor

dbu commented Oct 21, 2014

ping @hpatoio

1 similar comment
@dbu
Copy link
Contributor

dbu commented Nov 14, 2014

ping @hpatoio

@hpatoio
Copy link
Contributor Author

hpatoio commented Nov 14, 2014

Thanks @dbu for pinging ! I'll soon come back to close this !

@ddeboer ddeboer merged commit 9073dc9 into FriendsOfSymfony:master Nov 21, 2014
@dbu
Copy link
Contributor

dbu commented Nov 21, 2014

@hpatoio @ddeboer do you have an idea what just happened here? this makes no sense to me, github is claiming there are no commits in this pull request, but then saying @ddeboer merged something. looking at that commit it seems to have nothing to do with this PR.

@hpatoio can you open a new PR with your branch?

@ddeboer
Copy link
Member

ddeboer commented Nov 21, 2014

Whoa! Timestamp coincides with my merging of #137. I guess GitHub screwed up here?

@dbu
Copy link
Contributor

dbu commented Nov 21, 2014

i will report this to @github - meanwhile i guess opening a new PR from issue_107 is the way to go, then check if all comments above really have been adressed or if thats part of the bug.

@dbu
Copy link
Contributor

dbu commented Nov 21, 2014

i got an instant reply from them. it looks like @hpatoio destroyed his branch and let it point to the current master. so suddenly there was nothing more to merge anymore... @hpatoio do you still have the code somewhere and can you do a new PR with it? 4d907b8 might be orphaned now, you could try git checkout 4d907b8 and create a new branch from that.

email from github:
Thanks for getting in touch -- I think I see what happened there.

3 days ago, user hpatoio force-pushed the head branch of that PR (hpatoio:issue_107) from 4d907b8 to 9073dc9. At that moment, the tip of the head branch (commit 9073dc9) was already in the base branch of the PR (the base is FriendsOfSymfony:master). In other words, the pull request didn't contain any new commits when compared with the base branch.

Once something was pushed to the base branch of the PR, we checked open PRs to see if any of them can be marked as merged (e.g. if the pull request was merged manually via the command line). And when that check was run -- it noticed that the PR in question can be marked as merged since it didn't have any new commits when compared to the base branch.

In other words, when ddeboer merged #137, the master branch was updated, which triggered the check and also merged the other PR as merged. While it's confusing that ddeboer was listed as the user who merged that other PR, the fact that it was marked as merged is expected behavior for now.

Does this perhaps explain the behavior you observed? Let me know if it doesn't and we'll do some more digging. Also, I'll mention this to the team -- again, it's confusing that ddeboer was listed as the user who merged the PR (and I'm sorry if that caused problems for you).

@hpatoio
Copy link
Contributor Author

hpatoio commented Nov 21, 2014

LOL ! Yes, my fault. I was just trying to update my branch but I messed things up ! I still have my code (it wasn't that much) and I'm working on it ! I'll create a new branch and a new PR !

@ddeboer
Copy link
Member

ddeboer commented Nov 21, 2014

Haha. All right, @hpatoio.

And thanks @github, that’s some great customer service!

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.

4 participants