Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
GitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Should the default be:
and then we don't harcode any in? I'm just wondering if there is ever a case where somebody would want to remove one that is included by default? Could it clash with another plugin for example?
Otherwise I've tested this and it works well, I think it's ready to merge.
Fine by me. I'm still not super-excited about enabling programmatic extensions, but happy to defer to others in this case. It does also tie us in strongly to this particular markdown implementation, but then again that isn't likely to change anytime soon, so probably not really a biggie. Side note that I'd like us to strongly avoid any further programmatic API beyond this.