diff options
| author | Atish Patra <[email protected]> | 2024-08-29 18:03:55 -0700 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2024-09-23 17:55:30 +0530 |
| commit | 00093a20004baf6826d843ac3ff6e8e7c5d06b13 (patch) | |
| tree | 3d6a28454624e7e05a08c03b6812560455a327aa /lib | |
| parent | 1cb234b1c9ed8d3cfcc226728c126c695ccea679 (diff) | |
docs: Remove github PR as an option
OpenSBI development workflow is mailing list based from the
beginning. Initially, github PRs were added as an option but it turned
out that it is not feasible to support both github PR and mailing list
based workflows. Hence, all the PRs has been redirected to use the
mailing list from a long time. In fact, it is source of confusion to
have both options.
Update the documentation to reflect the reality.
Signed-off-by: Atish Patra <[email protected]>
Reviewed-by: Anup Patel <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions