pullrequests: use '-- ' as separator before auto text and put latest revisions at top The update history in pull request descriptions had a confusing ordering. Instead, use '-- ' as separator between the description and the history so we can insert new update info in the right place.