2 Matching Annotations
  1. Dec 2022
    1. It’s fairly clear now that the current catalog process is too heavyweight. I hope we can move to a lighter workflow in the future that feels more like editing a wiki.
  2. Aug 2021
    1. The incident described in this post provides a good case study for why the GitHub pull request process is not a good substitute for wikis.