Skip to content

/ servo

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

Hide unnecessary information in the rendered PR template #11383

Merged
merged 3 commits into from May 26, 2016
Merged

Hide unnecessary information in the rendered PR template #11383

merged 3 commits into from May 26, 2016

Commits on May 25, 2016

  1. Hide some PR template content

    @jdm
    jdm committed May 25, 2016
    7b17251

  2. Separate checklist from PR description.

    @jdm
    jdm committed May 25, 2016
    ac757b4

  3. Try to mitigate the risk of unmodified PR descriptions

    @jdm
    jdm committed May 25, 2016
    Loading status checks…
    1cfc2c9
You can’t perform that action at this time.