Skip to content

Delete settings.xml#25

Merged
gzussa merged 1 commit into
masterfrom
gzu/delete_settings
Jan 22, 2020
Merged

Delete settings.xml#25
gzussa merged 1 commit into
masterfrom
gzu/delete_settings

Conversation

@gzussa

@gzussa gzussa commented Jan 22, 2020

Copy link
Copy Markdown
Contributor

What does this PR do?

remove useless settings file

Review checklist (to be filled by reviewers)

  • Feature or bug fix MUST have appropriate tests (unit, integration, etc...)
  • PR title must be written as a CHANGELOG entry (see why)
  • Files changes must correspond to the primary purpose of the PR as described in the title (small unrelated changes should have their own PR)
  • PR must have one changelog/ label attached. If applicable it should have the backward-incompatible label attached.
  • PR should not have do-not-merge/ label attached.
  • If Applicable, issue must have kind/ and severity/ labels attached at least.

@gzussa
gzussa merged commit 832f8e9 into master Jan 22, 2020
@gzussa
gzussa deleted the gzu/delete_settings branch January 22, 2020 22:04
@gzussa gzussa added the changelog/no-changelog Changes don't appear in changelog label Jan 22, 2020
@gzussa gzussa mentioned this pull request Jan 23, 2020
Merged
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@bkabrda bkabrda Awaiting requested review from bkabrda
@jirikuncar jirikuncar Awaiting requested review from jirikuncar
@nmuesch nmuesch Awaiting requested review from nmuesch
@zippolyte zippolyte Awaiting requested review from zippolyte

Assignees

No one assigned

Labels

changelog/no-changelog Changes don't appear in changelog

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gzussa