On 19/06/2018 15:10, Sebastian Huber wrote: > On 19/06/18 01:36, Chris Johns wrote: >> 4 -rwxrwxr-x 1 chrisj gitrw 507 Jun 12 04:47 post-receive > > I added the Github mirror hook and pushed the initial content to > https://github.com/RTEMS/rtems_waf. I pinned also this repository. > Fantastic. Thank you. Chris