Skip to content

Commit

Permalink
cope with maintainer entries using a non-github contact
Browse files Browse the repository at this point in the history
  • Loading branch information
Isidor Zeuner committed Dec 11, 2023
1 parent de415d3 commit 85d9a30
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion ofborg/src/maintainers.nix
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,10 @@ let
packageName = pkg.name;
dueToFiles = pkg.filenames;
})
pkg.maintainers
(builtins.filter
(maintainer:
pkgs.lib.hasAttrByPath ["github"] maintainer)
pkg.maintainers)
)
attrsWithModifiedFiles);

Expand Down

0 comments on commit 85d9a30

Please sign in to comment.