Skip to content

Remove unmaintained AUTHORS file#7449

Merged
stefan-kolb merged 1 commit into
masterfrom
remote-authors
Feb 16, 2021
Merged

Remove unmaintained AUTHORS file#7449
stefan-kolb merged 1 commit into
masterfrom
remote-authors

Conversation

@koppor

@koppor koppor commented Feb 16, 2021

Copy link
Copy Markdown
Member

We do not use "AUTHORS" anymore. At #7319, the whole handling was changed. It seems that there was forgotton to delete the AUTHORS file itself. This PR fixes that.

  • Change in CHANGELOG.md described (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked documentation: Is the information available and up to date? If not created an issue at https://github.com/JabRef/user-documentation/issues or, even better, submitted a pull request to the documentation repository.

@koppor koppor requested a review from stefan-kolb February 16, 2021 05:40
@stefan-kolb stefan-kolb merged commit 5546141 into master Feb 16, 2021
@stefan-kolb stefan-kolb deleted the remote-authors branch February 16, 2021 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants