Closed Shanfan closed 4 years ago
@suprajanarasimhan - ahh, sry, I totally missed this. Feel free to ping me in slack if I miss something like this!
I think as long as you approve the change it should be mergeable, did that not happen?
I just added you as a collaborator. Can you merge now?
Hi @bwinter! I was wondering if you might know what additional step I might need to take to merge this PR?