search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

trivial: typo #22

Closed cvluca closed 3 years ago

xurtis commented 3 years ago

Hi Luca, You'll need to sign off your commits before they can be merged. You can check out the contribution guidelines for specific details on what is required.

cvluca commented 3 years ago

Hi Luca, You'll need to sign off your commits before they can be merged. You can check out the contribution guidelines for specific details on what is required.

That was a quick fix on GitHub. It seems signing off can only be done via the command line. Does the sign off is required for all the seL4 repos now?

xurtis commented 3 years ago

Yes, all commits in the seL4 project require the DCO to be merged.

xurtis commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

ssrg-bamboo commented 3 years ago

All the tests we ran have passed! Nice job!

oliver-wm commented 3 years ago

Hi @cvluca could you please rebase on master.

oliver-wm commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

ssrg-bamboo commented 3 years ago

All the tests we ran have passed! Nice job!

oliver-wm commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

axel-h commented 3 years ago

Is there anything preventing the merge now?

xurtis commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests