Fixed that option tags are escaped.
Use content_tag helper.
Fixed that enumerations option tags are escaped.
Fixed that group filter is escaped on users index.
Redirect to referer when deleting a user (#10865).
Updated INSTALL and UPGRADING docs with new rake task (#10891).
Merged #10837.
Fixed #set_scm in reposman (#10837).
Adds script synopsis.