sgny approved these changes Feb 13, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So what happens now? Am I supposed to hit this green squash and merge button? The update branch button? This is new to me as I am usually not a member.

@idkjs Exactly, go ahead and push the green. I could do that, but it's nice to merge your own commit.