github: adjust push target branch name

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

Closed lsf37 closed 9 months ago

lsf37 commented 9 months ago

This repo uses main, not master.

lsf37 commented 9 months ago

Whoops, I missed that...

Me too :-)