[NetworkManager-pptp] (5 commits) Non-fast-forward update to branch lr/ci

[Francesco Giudici <fgiudici src gnome org>]

The branch 'lr/ci' 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:

  d1e0126... build: remove INSTALL
  98e20ef... build: file is required by configure
  31bc054... build: find is required by libtool
  59a3530... build: add GNOME GitLab CI configuration

Commits added to the branch:

  336d903... doap: fix typo in mainteiner name/mail (*)
  525fb5d... build: remove INSTALL
  0d27794... build: file is required by configure
  de1de86... build: find is required by libtool
  5945a6a... build: add GNOME GitLab CI configuration

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