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

Fix builds for PRs with quotes in titles #804

merged 4 commits into from Jan 14, 2019


None yet
2 participants
Copy link

rocketeerbkw commented Dec 11, 2018

Fixes #661

@rocketeerbkw rocketeerbkw referenced this pull request Dec 11, 2018


WIP: escape json #677

Schnitzel added some commits Dec 26, 2018

remove additional test run and add to regular run:
1. the regular test is not done yet so we have race conditions
2. less testing, means faster results

Schnitzel added a commit that referenced this pull request Dec 31, 2018

Merge pull request #804 from amazeeio/661-escape-pr-titles
Fix builds for PRs with quotes in titles

@Schnitzel Schnitzel merged commit d705e9d into master Jan 14, 2019

1 check passed

continuous-integration/jenkins/pr-merge This commit looks good

@rocketeerbkw rocketeerbkw deleted the 661-escape-pr-titles branch Jan 24, 2019

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