[gnome-builder] (12 commits) Non-fast-forward update to branch wip/albfan/java-langserver

[Alberto Fanjul <albfan src gnome org>]

The branch 'wip/albfan/java-langserver' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  cb76c2e... java-langserv: LSP integration for Java

Commits added to the branch:

  d672910... git: adjust notification defaults (*)
  f9bf3a2... git: remote connect/disconnect code from push (*)
  5dc280c... git: stub out update_tips (*)
  2fff3c4... git: ensure ref_names is passed to worker (*)
  05dad88... vcs: stub API to push a branch (*)
  780b924... vcsup: add "Push Branch" menu item (*)
  be9341f... git: implement push_branch_async() (*)
  0bec68a... doc: update copyright (*)
  3c088bd... git: be more descriptive with label (*)
  2022f86... vcsui: avoid submenu for Version Control items (*)
  6eec6cc... project-tree: hide some actions when disabled (*)
  2498575... java-langserv: LSP integration for Java

(*) This commit already existed in another branch; no separate mail sent