stalled Github merge request