fix so that pull requests are correctly updated afterwards with new status