99d0d4
Handle PR closed but not merged In these cases repo.walk() may not be able to find the desired commit