I was recently bitten by this ghost of the past in the present day! Since the TLA⁺ project is trying to join the Linux Foundation, they've recently started enfo

I was recently bitten by this ghost of the past in the present day! Since the TLA⁺ project is trying to join the Linux Foundation, they've recently started enforcing Developer Certificate of Origin (DCO) signing on all of the repos under the github.com/tlaplus org. The CI workflow started insta-failing on my PRs since none of my commits included a DCO. Fixing this isn't terribly difficult, github gives you a rebase command to run so you re-apply every commit locally with DCO signoff, then force-push. Then in the future you have to remember to run git commit -s -am "commit msg" instead of git commit -am "commit msg". The -s flag adds a DCO message to the commit.