diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-04-02 19:44:44 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2023-04-02 19:44:44 -0400 |
| commit | ca3937fb82574c765f625b2877cca06c5aeba2c6 (patch) | |
| tree | 8c937fd12d722e1a91df086acf836c644eb90964 /.github/workflows | |
| parent | 2ef99cd10489929a755831251c3fad8f3df2faeb (diff) | |
Mention internal API docs in PR template
I think we want to ensure that all new items in headers are documented,
and the documentation on modified items is kept up to date.
It will take a while to document the backlog of undocumented things, but
we can at least ensure that new items don't extend that backlog.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions