[jetty-dev] Heads Up - Git branch changes!

[Joakim Erdfelt <joakim@xxxxxxxxxxx>]

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