[gnome-devel-docs] (7 commits) Non-fast-forward update to branch wip/develguide

[Ekaterina Gerasimova <egerasimov src gnome org>]

The branch 'wip/develguide' 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:

  8ebdaad... Add index and Makefile to devel-guide
  014a950... Move integration guide to devel-guide
  fd94295... Add another section to devel-guide index
  6f91eae... Add 'Write a GNOME Shell extension' series
  a3c7461... Update docs on adding help
  bfdd0ec... Fix validation in platform-overview
  24ecefd... Fix validation in platform-demos

Commits added to the branch:

  14869aa... Fix validation in platform-overview (*)
  1c0fc51... Fix validation in platform-demos (*)
  b657ef7... Add index and Makefile to devel-guide
  0b00fae... Move integration guide to devel-guide
  27af9cc... Add another section to devel-guide index
  912fb74... Add 'Write a GNOME Shell extension' series
  4ceeeee... Update docs on adding help

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