[devhelp] (14 commits) Non-fast-forward update to branch repo-cleanup

[Emmanuele Bassi <ebassi src gnome org>]

The branch 'repo-cleanup' 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:

  bff9c4c... build: Move post-install script to its own directory
  6a5a8c9... build: Move Flatpak files under build-aux
  134859b... Remove the attic directory
  b41748b... Remove AUTHORS file
  3b90890... Rename "HACKING" file
  01d1de8... Update the contribution guidelines
  b456018... Add an editorconfig file
  46cf82c... build: Split up the summary
  a5467b4... Consolidate Flatpak utility scripts
  34bb4b5... build: Quiet the introspection scanner
  29b92ea... tests: Validate the desktop file

Commits added to the branch:

  c830a66... Fix compiler warning (*)
  1991db1... Open up developement for Devhelp 41 (*)
  e16691c... Handle deprecated API in WebKitGTK >= 2.32 (*)
  80385cf... build: Move post-install script to its own directory
  77525e3... build: Move Flatpak files under build-aux
  45d7bf9... Remove the attic directory
  336afc7... Remove AUTHORS file
  c97080e... Rename "HACKING" file
  26a49a9... Update the contribution guidelines
  fc35245... Add an editorconfig file
  d09782a... build: Split up the summary
  2b8cf2e... Consolidate Flatpak utility scripts
  c8cbe1c... build: Quiet the introspection scanner
  3ab8dbf... tests: Validate the desktop file

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