Sure Axel. Thank you for the advise.
El dom., 30 may. 2021 21:02, Axel Heider <axelhei...@gmx.de> escribió: > Hugo, > > > I just did a commit: > > https://github.com/hugusmaximus/sel4webserver/blob/master/README.md > > so people can test this project without having to use a Odroid-XU4 > (myself > > I had this problem...). > > ... > > Having said that, I excuse myself in advance for any mistakes in the pull > > request process as this is the first time in my life doing this, so any > > suggestion and corrections will be welcome. > > Thanks very much for that contribution. I'd suggest you make a branch > in your forked repo now that contains the commit and then do a pull > request from that branch to https://github.com/seL4/sel4webserver. > Further discussion about the content can happen on this pull request, > which is a bit more convenient than doing it here in the mailing list. > > Axel > > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
