Bors doesn't remove PRs from the queue if they merged manually

[sk-iiitg]

Hi, How can I force Bors to remove those PRs from the queue if they merged manually?