<div dir="ltr">Dear list,<div><br></div><div>There is now an auto-sipify bot running after each push on any active branches in Github (master + release-*).</div><div>We have disabled the requirement for the sip-check test to succeed (checking that the sip files are up to date) for the PRs.</div><div><br></div><div>This means that if you have a trivial change to a header, it is not strictly required to update the sip files: you can merge and the bot will update them afterwards.</div><div><br></div><div>Just use this with caution as this might lead to merging code which would make the compilation fail.</div><div><br></div><div>Kind regards,</div><div>Denis</div><div><br></div></div>