Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jetty-dev] Heads Up - Git branch changes!

Joakim,

I guess that screws over all open PRs.   I see you have closed one without comment.  Did you close any others?
Let's not lose contributions, so please keep them open until they can be closed with a comment saying why - or recreated against the new branch.

cheers


On 10 August 2017 at 07:26, Joakim Erdfelt <joakim@xxxxxxxxxxx> wrote:
Note: you might have to follow up that with a clean of unstaged files/directories.

$ git clean -fd



Joakim Erdfelt / joakim@xxxxxxxxxxx

On Wed, Aug 9, 2017 at 2:22 PM, Joakim Erdfelt <joakim@xxxxxxxxxxx> wrote:
The jetty-9.4.x branch has been replaced.

It has had all of its javax.websocket-1.1 changes removed.

If you have a local clone of jetty-9.4.x, you will encounter pull/merge issues.

To force your local jetty-9.4.x to be the same as the remote do this ...


$ git checkout jetty-9.4.x
$ git fetch origin
$ git reset --hard origin/jetty-9.4.x


Joakim Erdfelt / joakim@xxxxxxxxxxx


_______________________________________________
jetty-dev mailing list
jetty-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jetty-dev



--

Back to the top