Merge branch 'stable-2.5'

* stable-2.5:
  Improve wording in Gerrit 2.5.1 release notes
  Add release notes for Gerrit 2.5.1
  Allow assigning Push for refs/meta/config on All-Projects
  Fix auto closing of changes on direct push
  Match all git fetch/clone/push commands to the command executor
  Fix RequestCleanup bug with Git over HTTP
  Make sure only Gerrit admins can change the parent of a project
  Correctly identify Git-over-HTTP operations

Conflicts:
	gerrit-httpd/src/main/java/com/google/gerrit/httpd/CacheBasedWebSession.java
	gerrit-httpd/src/main/java/com/google/gerrit/httpd/WebSession.java
	gerrit-server/src/main/java/com/google/gerrit/server/git/MergeOp.java
	gerrit-server/src/main/java/com/google/gerrit/server/git/ReceiveCommits.java

The modification done by
  Correctly identify Git-over-HTTP operations
were discarded since the issue fixed by this commit is already fixed in
master.

Change-Id: If16c8f8e99a481917661049da6a0e853b9febc84
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>