Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

templates: Run docs, emails through Jinja before Markdown, not after #24503

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

andersk
Copy link
Member

@andersk andersk commented Feb 27, 2023

This ordering is at least 40% less crazypants.

This ordering is at least 40% less crazypants.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
@andersk andersk added area: markdown area: documentation (api and integrations) integration review Added by maintainers when a PR may be ready for integration. labels Feb 27, 2023
@zulipbot
Copy link
Member

Hello @zulip/server-api, @zulip/server-markdown members, this pull request was labeled with the "area: markdown", "area: documentation (api and integrations)" labels, so you may want to check it out!

@andersk andersk marked this pull request as draft February 28, 2023 03:00
@andersk andersk removed the integration review Added by maintainers when a PR may be ready for integration. label Feb 28, 2023
@zulipbot
Copy link
Member

Heads up @andersk, we just merged some commits that conflict with the changes you made in this pull request! You can review this repository's recent commits to see where the conflicts occur. Please rebase your feature branch against the upstream/main branch and resolve your pull request's merge conflicts accordingly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants