search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

update link to repo install doc #266

Closed daichifukui closed 1 month ago

daichifukui commented 1 month ago

As of writing this PR, the link to the repo installation documentation redirects to a page titled “Download the Android source,” which does not include instructions on how to install the repo. Therefore, we would like to use a different link for the installation instructions.

lsf37 commented 1 month ago

@daichifukui the content is fine, but the PR check is complaining about the body of the commit message. Could you wrap the commit message body at 72 characters and remove the trailing space character at the end? That should make it pass. (And then it can be merged).

daichifukui commented 1 month ago

@daichifukui the content is fine, but the PR check is complaining about the body of the commit message. Could you wrap the commit message body at 72 characters and remove the trailing space character at the end? That should make it pass. (And then it can be merged).

Sure, thanks for pointing this out. I've updated the commit message.

lsf37 commented 1 month ago

Thank you!