|finding when push has completed. [message #1759554]
||Wed, 12 April 2017 23:42
| Missing name Mising name
Registered: July 2009
I am programmatically pushing and then creating a pull request but often I receive the error that there are not changes to be made to master. |
But from messing around with the code I have found the reason is that push comes back and the PR is then trying to be created but the branch doesn't actually have the changes from the push yet. The Push call seem to be async at least in respect to the changes existing on github.
I then tried using the ProgressMonitor class but since it never calls "start" I don't know what the number of tasks are. So I can't tell if they are all done.
I also tried using the RemoteRefUpdate I get from the PushResult but those seem to not work either. I get "OK" and it still doesn't exist on the GitHub.
Can someone tell me how I can find out if the push has updated on the GitHub so I can then use egit and create a PR out of it without getting an error?
Powered by FUDForum
. Page generated in 0.01687 seconds