On Mon, Mar 13, 2023 at 8:07 AM Gedare Bloom <ged...@rtems.org> wrote: > > I closed it, and instead created a Pull Request from your > new-eng-chapter branch to the `master` branch on your fork of > rtems-docs > I have added comments to https://github.com/andrewbutterfield/rtems-docs/pull/1
> On Mon, Mar 13, 2023 at 3:17 AM andrew.butterfi...@scss.tcd.ie > <andrew.butterfi...@scss.tcd.ie> wrote: > > > > Hi Gedare, > > pull request done > > > > Regards, > > Andrew > > > > > > > > On 10/03/2023, 21:23, "Gedare Bloom" <ged...@rtems.org > > <mailto:ged...@rtems.org>> wrote: > > > > > > On Fri, Mar 10, 2023 at 8:19 AM andrew.butterfi...@scss.tcd.ie > > <mailto:andrew.butterfi...@scss.tcd.ie> > > <andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>> > > wrote: > > > > > > Hi Gedare, > > > the quick and easy way is to visit > > > https://github.com/andrewbutterfield/rtems-docs/commit/8165814471402d56c480b1400b121715ad507c58 > > > > > > <https://github.com/andrewbutterfield/rtems-docs/commit/8165814471402d56c480b1400b121715ad507c58> > > > > > Yes, In this case, can you (or I can) create a Pull Request from your > > new-eng-chapter branch to the `master` branch on your fork of > > rtems-docs? then I can review your code changes for you there pretty > > easily. > > > > > > > That's a fork of RTEMS/rtems-docs on Github - and is the top of my > > > `new-eng-chapter` branch. > > > > > > The commits are those I had developing it and do not match the patch-set > > > I sent. > > > > > > Will that do? > > > > > > Regards, > > > Andrew > > > > > > > > > > > > On 09/03/2023, 20:22, "Gedare Bloom" <ged...@rtems.org > > > <mailto:ged...@rtems.org> <mailto:ged...@rtems.org > > > <mailto:ged...@rtems.org>>> wrote: > > > > > > > > > Hi Andrew, > > > > > > > > > In this case, since the patches are attachments, would you happen to > > > have a hosted git (github?) repo that I could examine to facilitate a > > > review. I can only review inline patches efficiently by email. > > > > > > > > > Gedare > > > > > > > > > On Thu, Mar 9, 2023 at 6:52 AM andrew.butterfi...@scss.tcd.ie > > > <mailto:andrew.butterfi...@scss.tcd.ie> > > > <mailto:andrew.butterfi...@scss.tcd.ie > > > <mailto:andrew.butterfi...@scss.tcd.ie>> > > > <andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie> > > > <mailto:andrew.butterfi...@scss.tcd.ie > > > <mailto:andrew.butterfi...@scss.tcd.ie>>> wrote: > > > > > > > > ping > > > > > > > > > > > > > > > > > > > > > > > > From: devel <devel-boun...@rtems.org <mailto:devel-boun...@rtems.org> > > > > <mailto:devel-boun...@rtems.org <mailto:devel-boun...@rtems.org>>> on > > > > behalf of "andrew.butterfi...@scss.tcd.ie > > > > <mailto:andrew.butterfi...@scss.tcd.ie> > > > > <mailto:andrew.butterfi...@scss.tcd.ie > > > > <mailto:andrew.butterfi...@scss.tcd.ie>>" > > > > <andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie> > > > > <mailto:andrew.butterfi...@scss.tcd.ie > > > > <mailto:andrew.butterfi...@scss.tcd.ie>>> > > > > Date: Friday 10 February 2023 at 16:10 > > > > To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org> > > > > <mailto:rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>>" > > > > <rtems-de...@rtems.org <mailto:rtems-de...@rtems.org> > > > > <mailto:rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>>> > > > > Subject: eng: Add Formal Verification chapter v3 > > > > > > > > > > > > > > > > Dear RTEMS Developers, > > > > > > > > Here is a 3rd version of the proposed Formal Verification chapter > > > > > > > > to be added to the Software Engineering Manual. > > > > > > > > > > > > > > > > The patch-set is attached here, as I cannot use git-mail. > > > > > > > > > > > > > > > > Best Regards, > > > > > > > > Andrew > > > > > > > > > > > > > > > > > > > > > > > > _______________________________________________ > > > > devel mailing list > > > > devel@rtems.org <mailto:devel@rtems.org> <mailto:devel@rtems.org > > > > <mailto:devel@rtems.org>> > > > > http://lists.rtems.org/mailman/listinfo/devel > > > > <http://lists.rtems.org/mailman/listinfo/devel> > > > > <http://lists.rtems.org/mailman/listinfo/devel> > > > > <http://lists.rtems.org/mailman/listinfo/devel>> > > > > > > > > > > > > > > > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
