Link to GitHub contributors in about dialog

[stefan-kolb]

Remove AUTHORS file

Reason

• AUTHORS file is hard to maintain
• Github/Git is single source of truth
• some authors did not want to be listed by name -> Github profile is maintained by them or NOT if they do not want to
• AUTHORS list also includes 12345 and duplicate names that look odd (and that was the reason why we had mailmap and such to avoid it)

Solutions

• link to https://github.com/JabRef/jabref/graphs/contributors
• autogenerate file entirely as AUTHORS and ignore duplicates etc
• use something like https://github.com/mgechev/github-contributors-list to generate file

Decision

• Change info dialog to link to contributors
• global RM search for AUTHORS (.gitattributes)
• RM .mailmap
• disable fullscreen and resize

• 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]

Alternatives: Maintain "All Contributors" (contributing ideas, discussions, feedback): https://github.com/all-contributors/all-contributors. This is much effort and causes huge mental workload. We want to spend our energy on fixing issues and providing issue feedback.

We accept that contributors contributing something before the GitHub area (on SourceForge) are not listed explicitly after merging this PR. They are still listed in v5.1 and earlier. They can also be found at the link.

jabref/scripts/generate-authors.sh

Line 54 in 3ebba86

Bernhard Tempel

[koppor]

While working on it, we also renamed "Developers" to "Maintainers", since @JabRef/developers are more the overall maintainers. IMHO, this is more welcoming to contributors, because they are also developers, but not maintainers of JabRef. We as maintainers are also developers.

[Siedlerchr]

What about core developers and contributer?

[tobiasdiez]

+1 for removing the authors and also for this

use something like https://github.com/mgechev/github-contributors-list to generate file

We could put the file at jabref.org/contributors and link it in the about dialog (and from the main website).

[koppor]

use something like mgechev/github-contributors-list to generate file

We could put the file at jabref.org/contributors and link it in the about dialog (and from the main website).

Another tool is "true-contributors", which also lists issue reporters, etc. --> https://github.com/100Automations/true-github-contributors#readme. Not too bad, too, IMHO.

[koppor]

Using jabref.org/contributors instead of https://github.com/JabRef/jabref/graphs/contributors will be part of a follow-up PR as I don't currently have the time to implement that.

[tobiasdiez]

LGTM, one small comment, then it can be merged.

[calixtus]

I don't really have a strong opinion on these changes.
As long as somehow the contributors who like to be known (and also those of the sourceforge-era) get credit for their work somehow, I'm fine with the changes.

[koppor]

As long as somehow the contributors who like to be known (and also those of the sourceforge-era) get credit for their work somehow, I'm fine with the changes.

I did not receive any explicit request. Thus, I would continue here and handle "exceptions" as soon as someone raises his voice.