1 2 3 4
--- title: Remove redundant query when retrieving the most recent push of a user merge_request: author: