Some quick advice on how to ignore the various GitHub Action bots
in the commit history. This helps keep the commit history clean and
focused on the work done by human contributors, and lowers the risk of
merge conflicts when people try to contribute upstream (ie me)
Some quick advice on how to ignore the various GitHub Action bots
in the commit history. This helps keep the commit history clean and
focused on the work done by human contributors, and lowers the risk of
merge conflicts when people try to contribute upstream (ie me)