Not sure whether Codex or Devin are saving me time.
The workflow is off.
They are made to push to the remote, which completely breaks the workflow (working directory -> staging -> remote).
So you push or make a pr, pull it down, check whether it's working or ...
