Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add option to skip unknown tasks #1090
Re: @humanfromearth 's comment on #1089, one response to this could also be "this should always result in an error". However, I am usually a fan of "let you shoot yourself in the foot" features provided they are 100% opt-in and don't cause too much branching in existing code, and this does fit that bill. So it's still on the table for now.