Closed DeeDeeG closed 1 year ago
Note: I just remembered, this is somewhat redundant to (is a subset of) https://github.com/pulsar-edit/ppm/pull/48, especially https://github.com/pulsar-edit/ppm/pull/48/files#diff-2776069f62d75d28e1b0bd7c79217e7c06f7a45b48ff2ccdcaf3d72f09637e38.
So we may want to take a bit and review/merge that instead.
Closing! Not needed! Sayanara!
Update URLs in ppm to point to pulsar-edit.dev, not pulsar-edit.com. (I am told pulsar-edit.com will be going away on or around the 29th of June 2023.)
https://pulsar-edit.com/api
tohttps://api.pulsar-edit.dev/api
--help
/ usage text text to say "powered by https://pulsar-edit.dev" instead of "powered by https://pulsar-edit.com"web.pulsar-edit.dev
(package frontend) andapi.pulsar-edit.dev
(package backend API). So split the difference and don't specify which of these.