Merge the rocky/main into main and make main default
Description
This repo will be included as a submodule in others. There is no need to have a
stale branch called "main" that just creates noise. rocky/main is currently
set as the default branch. Merge this into main and make main the default.