v0.4.12

Added

• Add and remove public subdomains on a running workspace. The workspace detail page now has an Add button beside Subdomains, and a bin icon on each one. Publishing a port, or withdrawing it, takes about a second and leaves the workspace running: your dev server keeps serving, your terminal sessions stay open, nothing restarts.

  Until now a subdomain could only be chosen when the workspace was created. If you decided later that port 5173 should be reachable from the outside, the only route to it was deleting the workspace and building a new one. That is a steep price for a hostname, and it is why the setting was easy to get wrong at a moment when you had not started working yet.

• Send yourself a test notification. Settings → Notifications has a Send test button. It creates a notification and pushes it to your devices exactly the way your agents' notifications travel, then tells you what happened: how many browsers are registered, how many took it, and a reason for each one that did not. Run it on the device you are checking — every browser and phone registers separately, so a laptop that works tells you nothing about a phone that does not.

  Push notifications fail quietly by nature. A lapsed subscription, a permission revoked in your phone's settings and a preference you forgot you turned off all look identical from the outside: nothing arrives. This turns that silence into a sentence.

• The contact sent with desktop notifications is yours to set. When DevGrail delivers a desktop notification it has to identify itself to the browser's push service — Mozilla's, Google's, Apple's — with a contact address, so those operators have somewhere to write if a deployment ever starts misbehaving. Until now that address was always your deployment's own web address, with no way to change it. Settings has a Push contact card: put an email address or a URL there and it is what gets sent from the next notification onwards, with no restart. Leave it blank and nothing changes — your deployment's own address is still used, and the card tells you which one that is.

  It is not a link anyone follows and it is never shown to your users; it is an operational contact for whoever runs the push service. Setting it to an address a person actually reads is worth the minute it takes.

Fixed

• Notifications now arrive on phones promptly instead of eventually. DevGrail was sending notifications at normal priority, which lets Android hold them until the phone next wakes up properly — so a notification meant to interrupt you could turn up an hour later, or get folded into a batch you never noticed. Every notification is now sent at high priority, because every one of them is something you asked to be interrupted for.

• Notifications no longer stop reaching a device and stay stopped. Browsers periodically retire a device's notification registration and issue a new one — Chrome on Android does it routinely. DevGrail did not notice, so the device silently dropped off and only came back if you happened to open DevGrail in that browser again. It now re-registers itself the moment the browser rotates it, without the app being open.

• A notification is no longer lost when a push service is briefly busy. A single overloaded moment at Google's or Mozilla's push service used to mean the notification was gone for good. Delivery is now retried.

• Notifications reach devices again after a deployment restore. A browser registered before a database restore was bound to a security key the server no longer had, and every notification to it failed silently and permanently. The mismatch is now detected and the device re-registers itself.

• Desktop notifications no longer degrade over time in Chrome. When DevGrail was open and focused, the incoming notification was handled by the in-app popup and no system notification was shown. Chrome treats that as a broken promise and eventually substitutes its own "This site has been updated in the background" message, then withdraws permission altogether. The system notification is now always shown, and dismissed a moment later when you are already looking at the app.

• Notifications now carry the DevGrail icon rather than a generic browser one.