Closed carlosalberto closed 2 weeks ago
:shipit:
How to assign OTEP numbers (we cannot rely on PR number, as we did in the OTEPs repository).
Why not? Because the numbers are too big? 4 digits seems ok to me and we are likely going to end up with a maximum of 5 digits in the lifetime of this repo which is perhaps a bit much but still not terrible.
Why not? Because the numbers are too big? 4 digits seems ok to me and we are likely going to end up with a maximum of 5 digits in the lifetime of this repo which is perhaps a bit much but still not terrible.
I wouldn't be completely opposed to it, as long as we accept the trade-off ;)
Merging today to avoid any conflict/issue. Will follow up with pending tasks as part of #4284
Latest attempt to merge the OTEPs repo into the Specification:
oteps
directory, next tospecification
one.Additionally, additional lint fixes in order to merge this:
Follow-ups: