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.

Sign up for GitHub

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

Jump to bottom

Hlint update + release note #2923

Merged
merged 2 commits into from
Sep 16, 2019
Merged

Hlint update + release note #2923

merged 2 commits into from
Sep 16, 2019

Conversation

rohanjr
Copy link
Contributor

@rohanjr rohanjr commented Sep 16, 2019 •
edited
Loading

Follow up to #2892

Pull Request Checklist

  • Read and understand the contribution guidelines
  • Include appropriate tests
  • Set a descriptive title and thorough description
  • Add a reference to the issue this PR will solve, if appropriate
  • Add a line to the release notes, if appropriate
  • Normal production system change, include purpose of change in description

NOTE: CI is not automatically run on non-members pull-requests for security
reasons. The reviewer will have to comment with /AzurePipelines run to
trigger the build.

@rohanjr rohanjr self-assigned this Sep 16, 2019
@rohanjr rohanjr requested a review from a user September 16, 2019 17:03
@rohanjr rohanjr mentioned this pull request Sep 16, 2019
Merged
6 tasks
@mergify mergify bot merged commit c7eb05b into master Sep 16, 2019
@mergify mergify bot deleted the hlint-update branch September 16, 2019 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@S11001001 S11001001 S11001001 approved these changes

Assignees

@rohanjr rohanjr

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@rohanjr @S11001001