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