Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
fastd: v18 -> v19 #88630
Motivation for this change
New upstream release. The repository moved to GitHub.
FYI: Unicode arrows do not affect the bot's functionality in any way. IIRC, we look for a colon and then split on that to get the package attribute -- we don't care about anything past that colon (though this is probably how we'd implement automatically adding the
The real reason evaluations didn't start originally was because of a missing enum variant when dealing with GitHub's API; this has since been fixed.
Side note: ofborg does not look at PR titles, but commit titles.