Consider renaming the caution git remote #238

Closed
opened 2026-05-10 22:54:52 +00:00 by modalala · 1 comment
modalala commented 2026-05-10 22:54:52 +00:00 (Migrated from codeberg.org)

using caution on the command line may be needlessly overloaded, between an installed executable caution and and the caution remote.

For example, to follow the quickstart docs, after installation:
https://docs.caution.co/quickstart/fully-managed/#initialize-the-application
caution init (running the executable)
followed by https://docs.caution.co/quickstart/fully-managed/#deploy-the-application
git push caution main (where caution is now a remote)

It is probably trivial to rename the remote to something like caution_remote or similar.

using `caution` on the command line may be needlessly overloaded, between an installed executable `caution` and and the `caution` remote. For example, to follow the [quickstart docs](https://docs.caution.co/quickstart/fully-managed/), after installation: https://docs.caution.co/quickstart/fully-managed/#initialize-the-application `caution init` (running the executable) followed by https://docs.caution.co/quickstart/fully-managed/#deploy-the-application `git push caution main` (where `caution` is now a remote) It is probably trivial to rename the remote to something like `caution_remote` or similar.
anton commented 2026-05-18 18:00:22 +00:00 (Migrated from codeberg.org)

By this logic git push origin HEAD should be renamed to git push origin-remote HEAD. I don't think it makes sense to do this change.

By this logic `git push origin HEAD` should be renamed to `git push origin-remote HEAD`. I don't think it makes sense to do this change.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
public/platform#238
No description provided.