Skip to content

maintainers/teams: add gnome team#82705

Merged
jtojnar merged 1 commit intoNixOS:masterfrom
jtojnar:gnome-team
Mar 16, 2020
Merged

maintainers/teams: add gnome team#82705
jtojnar merged 1 commit intoNixOS:masterfrom
jtojnar:gnome-team

Conversation

@jtojnar
Copy link
Member

@jtojnar jtojnar commented Mar 16, 2020

Motivation for this change

gnome3.maintainers attribute always felt like a hack and now we finally have a place to put a groups of maintainers.

Also remove @lethalman, as they are no longer available.

For now, let’s just create the team, we will handle the tree-wide switch later, after we complete #81626

gnome3.maintainers attribute always felt like a hack and now we finally have a place to put a groups of maintainers.

Also remove lethalman, as they are no longer available.
@jtojnar jtojnar requested review from hedning and worldofpeace March 16, 2020 02:36
@jtojnar jtojnar mentioned this pull request Mar 16, 2020
10 tasks
@ofborg ofborg bot added 6.topic: GNOME GNOME desktop environment and its underlying platform 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux. labels Mar 16, 2020
Copy link
Contributor

@hedning hedning left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jtojnar jtojnar merged commit 937f1ad into NixOS:master Mar 16, 2020
@jtojnar jtojnar deleted the gnome-team branch March 16, 2020 12:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: GNOME GNOME desktop environment and its underlying platform 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants