Amar Takhar commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140740 Backports are no big deal because whether it's in 7.1 or 8.1 we are trying to shorten our release cycle so in a year we'll have 9.1 out hopefully and 7.1 will be in the past. Regardless of when formatting goes in backports will be harder to 6.x now there is always going to be a cutoff point. The "CI tools" are the developer tools, the CI uses them it's not the other way around. Developers will have to run them no matter what to do the git pre-push checks to GitLab there will be no way around it. Developers can choose to not run them and have the GitLab hosted CI tools run them for them and that's their choice but they'll still have to pass all the checks for many running them locally is just easier. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140740 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
