| 00:24 | <jmdyck> | oops, totally forgot about the meeting. |
| 20:31 | <jmdyck> | For a merge-to-main, is it possible for there to be one commit on the main branch, but multiple contributing commits still in the PR? (So that the main branch stays 'uncluttered', but if an archeologist wants to investigate/understand something, the detailed commits + commit messages are still available in the PR.) |