<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 20, 2024, 7:19 PM Chris Johns <<a href="mailto:chrisj@rtems.org">chrisj@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 19/4/2024 7:15 pm, <a href="mailto:Andrew.Butterfield@scss.tcd.ie" target="_blank" rel="noreferrer">Andrew.Butterfield@scss.tcd.ie</a> wrote:<br>
> Will you also do this with the formal code in rtems-central/formal ?<br>
<br>
Sorry, I do not use it so would prefer not to update it just yet. I think it<br>
best left to the leaders of that repo.<br>
<br>
> I do remember using yapf at some point – I have no problem in your doing this here.<br>
<br>
Great.<br>
<br>
> I expect to be proposing an update to the formal stuff<br>
>  (models,code,documentation) over the Summer period as well.<br>
<br>
Great and looking forward to see the results. We will be on GitLab soon and that<br>
will help us all with merge requests as well as coordinating these activities,<br>
for example GitLab has Epics.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Checking that Python source is properly formatted sounds like a nice low hanging CI job once we have switched over and things have settled.</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Chris<br>
</blockquote></div></div></div>