[gnome-devel-docs] (13 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:

  fbe94b0... Add index and Makefile to devel-guide
  1e6001b... Move integration guide to devel-guide
  efe9758... Add another section to devel-guide index
  17323a7... Add 'Write a GNOME Shell extension' series
  8b72148... Update docs on adding help
  7a79be7... Change platform-overview title
  636582d... settings - remove bullets and condense into paragraphs
  7619e51... network - refine and condense
  b2eb53f... communications - refine and condense
  b7044da... lose the button style from the getting started link
  6beffb6... media - refine and condense
  7a7d092... Finish page about choosing a license

Commits added to the branch:

  194a5b5... Finish page about choosing a license (*)
  eb15bb6... Remove old sections from index (*)
  1c18cb6... Add index and Makefile to devel-guide
  521e6e3... Move integration guide to devel-guide
  d293a0f... Add another section to devel-guide index
  351f40d... Add 'Write a GNOME Shell extension' series
  9d7d517... Update docs on adding help
  482f87f... Change platform-overview title
  21c5e69... settings - remove bullets and condense into paragraphs
  235275a... network - refine and condense
  eed2cb8... communications - refine and condense
  ae7e02d... lose the button style from the getting started link
  de00c3d... media - refine and condense

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