From d1e870a7f871e3f6ef58d0ab6e3f73150cf8cf44 Mon Sep 17 00:00:00 2001 From: Runxi Yu Date: Sun, 12 May 2024 14:34:36 +0800 Subject: Spell check --- forge-workflows.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'forge-workflows.html') 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 @@
  • Make some changes and commit
  • Push
  • Go back to the Web interface to create a PR (which often involves clicking at least three buttons)
  • -
  • Delete your redundent fork once the PR is merged and your repo is not really useful anymore
  • +
  • Delete your redundant fork once the PR is merged and your repo is not really useful anymore
  • Why do certain people hate on sourcehut? Really convenient workflow IMO.