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 10, 2023
1 parent de415d3 commit 89fc5f7
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ofborg/src/maintainers.nix
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,8 @@ let
packageName = pkg.name;
dueToFiles = pkg.filenames;
})
pkg.maintainers
(builtins.map (maintainer: pkgs.lib.hasAttrByPath ["github"] maintainer)
pkg.maintainers)
)
attrsWithModifiedFiles);

Expand Down

0 comments on commit 89fc5f7

Please sign in to comment.