Differences

This shows you the differences between two versions of the page.

--- github_exp_9245 [2022/07/20 21:38] – added author feedback jmahoney
+++ github_exp_9245 [2026/02/12 05:44] (current) – external edit 127.0.0.1
@@ Line 14: / Line 14: @@
       * everything else as PRs or issues
-==== Feedback ====
+==== Lessons Learned ====
+This process requires a more knowledgeable GitHub user on the RPC side.  There were many suggestions about "good GitHub practice."  Some of these suggestions are from discussion with the author and some from the survey:
+Author preference for:
+  * improve subject lines
+  * consider whether external parties should be allowed to close issues
+  * close out all issues/PRs once they're addressed
+  * improve "size" of issues
+====RPC Lessons Learned====
+This process requires a more knowledgeable GitHub user on the RPC side.  There were many suggestions about "good GitHub practice."  Some of these suggestions are from discussion with the author and some are from the [[https://docs.google.com/forms/d/1TrU_89pspY3eR0P8vKZbeTMP7YIQBwJGsx1SYSUIsDg/edit#response=ACYDBNjD7OT_0kkrrWHuBNjV4Eknr6QxdbLn8NW7QLGCj8Yl738PsBYNgE2Xc5hBGOBdDSU|post-pub survey]].
+Author preference for:
+  * improve subject lines
+  * consider whether external parties should be allowed to close issues
+  * close out all issues/PRs once they're addressed
+  * improve "size" of issues
+Forking the repository can be confusing. I found myself looking at both to compare things and sometimes found myself confused about whether I was in the right repo.  If we fork, we should consider whether/how to clear all earlier branches.
+==== Author Feedback ====
   * What were the advantages of using GitHub during AUTH48?