From a884718d39bbf7e723a6cce42ff40dcb016038d7 Mon Sep 17 00:00:00 2001 From: "Danilo M." Date: Mon, 2 Nov 2026 19:54:49 +0100 Subject: chore: rename the repository to HardenedPass The GitHub repository is now danixland/HardenedPass and the main repository on the personal server is HardenedPass. Point the reusable workflow references, the issue template, README and AGENTS.md at the new name; GitHub redirects the old URLs, but workflow `uses:` should not rely on that. Co-Authored-By: Claude Opus 5.5 --- AGENTS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'AGENTS.md') diff --git a/AGENTS.md b/AGENTS.md index a32bce1d..6708cd53 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -23,7 +23,7 @@ Keep "GrapheneOS" out of the app name: it is that project's trademark. - `master` is the only branch. Upstream's `develop` was renamed; do not recreate it. - `origin` fetches from the maintainer's own git server (the main repository) and pushes to it - and to the GitHub fork (`danixland/Android-Password-Store`) in one `git push`. + and to the GitHub fork (`danixland/HardenedPass`) in one `git push`. GitHub is a push mirror: never create commits on GitHub (bots, web edits), they would diverge from the main repository. - `upstream` is fetch-only (push URL disabled). -- cgit v1.2.3