Apply suggestions from code review

juanis2112 · timhoffm · web-flow · commit 54df55604cc9 · 2024-07-17T19:24:41.000-07:00
Co-authored-by: Tim Hoffmann &lt;2836374+timhoffm@users.noreply.github.com&gt;
diff --git a/doc/devel/development_workflow.rst b/doc/devel/development_workflow.rst
@@ -161,8 +161,8 @@ You can achieve this by using
     git commit -a --amend --no-edit
     git push [your-remote-repo] [your-branch] --force-with-lease
 
-.. hint::
-    Instead of typying your branch name every time, you can do::
+.. tip::
+    Instead of typying your branch name every time, you can once do::
 
         git push --set-upstream origin my-new-feature
 
