It would be worth just trying out a pull request from your commit, I
can see if the use of local branch will have any effect, hopefully
github will sort it out.
I can of course simply use the file you posted. I haven't had time to
review it, there isn't much difference in time for me to use a
straight file or pull request. For trivial changes a PR is probably
On 1 December 2016 at 19:22, Curtis Rubel <cru...@compro.net> wrote:
> Hi Robert,
> Just curious if you would like this converted to a pull request?
> I have created a new local branch called PThreadPullRequest
> and committed the one file with the fixes.
> Just want to be sure its OK to commit this new branch up to the master
> branch and then generate the pull request? At least that is
> how I think its supposed to be done as I have not done
> one yet..
> Thank you!
> Read this topic online here:
> osg-submissions mailing list
osg-submissions mailing list