I tried the following to mark my current commit as secret which I understand to mean that it won't be pushed to GitHub (my remote) as a PR:

$ sl phase -s
(phases are now managed by remotenames and heads; manully editing phases is a no-op)

I didn't find documentation related to remotenames. What's the best way to prevent a commit from getting pushed as a PR?