Unrecord the pending patch when pulling, in the special case that there is nothing to download

Created by  pmeunier  on July 21, 2021
5PZN75Y6NSYDCYWWUWH3TSMV7ZCG7BNCQSBRC7DHCK4G6B5RBCUAC
Change contents