diff options
| author | Runxi Yu <me@runxiyu.org> | 2024-05-12 14:34:36 +0800 |
|---|---|---|
| committer | Runxi Yu <me@runxiyu.org> | 2024-05-12 14:34:36 +0800 |
| commit | d1e870a7f871e3f6ef58d0ab6e3f73150cf8cf44 (patch) | |
| tree | 119adf3578b2d56dd60df0432e7bf74cbaaff1cc /forge-workflows.html | |
| parent | a886af6628166343bfbed9837853c81fcdbeefe1 (diff) | |
| download | www-d1e870a7f871e3f6ef58d0ab6e3f73150cf8cf44.tar.gz | |
Spell check
Diffstat (limited to 'forge-workflows.html')
| -rw-r--r-- | forge-workflows.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/forge-workflows.html b/forge-workflows.html index 1f2f4fa..3a67a32 100644 --- a/forge-workflows.html +++ b/forge-workflows.html @@ -26,7 +26,7 @@ <li>Make some changes and commit</li> <li>Push</li> <li>Go back to the Web interface to create a PR (which often involves clicking at least three buttons)</li> - <li>Delete your redundent fork once the PR is merged and your repo is not really useful anymore</li> + <li>Delete your redundant fork once the PR is merged and your repo is not really useful anymore</li> </ol> <p>Why do certain people hate on sourcehut? Really convenient workflow IMO.</p> <div id="footer"> |