Question about PDL's GitHub / SF interoperability. A couple weeks ago I pushed the branch sf#396 to SF. Soon thereafter it showed up on GitHub. I then initiated a pull requested from GitHub. After a while it passed all the checks, so I let it sit for a week or so. Seeing no up- or down-votes, I used the GitHub web interface to merge branch sf#396 into master. It said I was OK to delete the branch, so I did. I assumed there would be an automatic push up to SF. When I look up that branch in SF I get an error (presumably the branch is gone but still lists in the branch list for some reason?). But I'm not seeing the commit in either the SF master, or now even in GitHub master.
I just noticed that Christian Walde restored the sf#396 branch 3 minutes after I deleted it. The commit is still there. But I don't see where the merge into master was un-done (if it was), or why. https://github.com/PDLPorters/pdl/pull/148 So, what gives? Does the GitHub repo automatically push to SF? And where did my merge to master go? thanks, Derek ------------------------------------------------------------------------------ _______________________________________________ pdl-devel mailing list pdl-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pdl-devel
