As I recall, and I'm paraphrasing, he agreed with core on op return and the logic for the change but disagreed with the way they handled the ban hammer on GitHub.

The thing is, if you want to get involved in the direction, policy of philosophy of core development, GitHub is not the place for it. They use the mailing list and delving bitcoin, two centralized options for which they should develop a nostr alternative. GitHub is just for code.