Re: stalled Github merge request