tree 71fcf7d65e8247765c20bd5333a53cf16e99e3cd
parent b6269f27d99d7da9e95f0b3fdc53193dc8c42fbe
author Pietro Albini <pietro@pietroalbini.org> 1567503209 +0200
committer Pietro Albini <pietro@pietroalbini.org> 1568644246 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEE1JbYPtLJAsc22U9xPgar6Auq8ZwFAl1/nJYACgkQPgar6Auq
 8ZxryBAAu7GTdWBgWODRsWQ35lVukSIpmGXIWF1JqrhB1ulXZAcSGK52vDpeooST
 UxA/ZL9V8saDEVGqv5Wlzb+rQfrO1PPrOJveZO6KVIZZI/J/DWMqCwqmlkO49f6P
 VvCsjWV2kURfJ76zzFJ8dhcLi2uDWkBgBwb/2h0HQHl/p04YauwIOv7WmoDqqgPc
 O4VOvubpLdGTp2DOtPYl244+lq/sc0Lipy3Ddq8ylLI6YfklIZUVSzo7y0ANEKKE
 TAIQU221Gg9V9e83wVko7nyFs4RUY6N6cPt6fTQGxYWAilyRyGWUdXxfEYTt9tIu
 g7naxkWpm6eNyLX1eKInTTCGXa9oczb2lWvaaOjUXLnX/4+ldp6npSWoz0N42/1N
 VznGhPilZk26ULsQmZuHeIfcDjXKRl+xNxktW09OjaAPQQi4AViOyKAmGAMS2BLH
 S/ftMYM9qX/wWV1qzbzFNEKxZr9LhZ5QCLQm20OPPeA1hSBWfTbZenVYpK3C8W/B
 TnasbOJF6opXCH201W36xvnUPLpPF5YzgWZlIgbAL9UV9AWFy+t2wznVHx/RW6ZM
 0Wc/dFFoFApTqEU44Y0NtMHG/NFNvht6PXPsNBueacmuRCyTrWf4BLYpDrsEa0RP
 hzwQ3udCWcIUee3aFtFgOQ4+5anQkxmH2lcFcHdVPVH5qkFhokk=
 =+cZG
 -----END PGP SIGNATURE-----

ci: ensure all tool maintainers are assignable on issues

GitHub only allows people explicitly listed as collaborators on the
repository or who commented on the issue/PR to be assignees, failing to
create the issue if non-assignable people are assigned.

This adds an extra check on CI to make sure all the people listed as
tool maintainers can be assigned to toolstate issues. The check won't be
executed on PR builds due to the lack of a valid token.