diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index e4efd5e4da..a6f78a530f 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -45,7 +45,7 @@ Every file must be valid JSON and follow this exact structure from https://docs. **Critical rules (enforce strictly):** - `"owner"."username"` **MUST** exactly match the GitHub username of the person who opened the PR, **unless** the PR author is a trusted maintainer listed in `util/trusted.json`. - Trusted maintainers: STICKnoLOGIC, DEV-DIBSTER, iostpa, orangci, Stef-00012, satr14washere, wdhdev. + Trusted maintainers: STICKnoLOGIC, DEV-DIBSTER, iostpa, orangci, Stef-DP, satr14washere, wdhdev. - `"records"` is required (note: it must be `"records"`, never `"record"`). - **CNAME records cannot be used with any other records and vice versa.** Only one record type is allowed if CNAME is present. diff --git a/README.md b/README.md index 63f51856c8..7cb235a0a7 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,13 @@

is-a.dev is a service that allows developers to get a sweet-looking .is-a.dev subdomain for their personal websites.

+> [!TIP] +> We have just launched another free subdomain service for developers, called [**`is-a.bot`**](https://is-a.bot)! +> +> Claim your `.is-a.bot` subdomain for free, before it's too late! +> +> **GitHub** — [**free-domains/is-a.bot**](https://github.com/free-domains/is-a.bot) + --- ## Announcements diff --git a/domains/will.json b/domains/will.json deleted file mode 100644 index 340e2bfa92..0000000000 --- a/domains/will.json +++ /dev/null @@ -1,9 +0,0 @@ -{ - "owner": { - "username": "wdhdev", - "email": "william@is-a.dev" - }, - "records": { - "URL": "https://wharrison.com.au" - } -} diff --git a/util/trusted.json b/util/trusted.json index 8ac2f289ec..a7d185cc66 100644 --- a/util/trusted.json +++ b/util/trusted.json @@ -12,7 +12,7 @@ "id": 90866414 }, { - "username": "Stef-00012", + "username": "Stef-DP", "id": 81536172 }, {