I understand! Thanks man.

Can any PR be merged without reaching some kind of an agreement though? I guess that’s one part I’m confused about