From 28e4a73cdf305f228c063696c81c6a287bf59b7f Mon Sep 17 00:00:00 2001 From: Marco Gallegos Date: Mon, 19 Jan 2026 00:53:46 -0600 Subject: [PATCH] docs: Move PRD.md from docs/ to root directory - Moved PRD.md to root for better visibility as main product document - PRD serves as single source of truth for AnchorOS --- docs/PRD.md => PRD.md | 0 push.sh | 18 ++++++++++++++++++ 2 files changed, 18 insertions(+) rename docs/PRD.md => PRD.md (100%) create mode 100755 push.sh diff --git a/docs/PRD.md b/PRD.md similarity index 100% rename from docs/PRD.md rename to PRD.md diff --git a/push.sh b/push.sh new file mode 100755 index 0000000..bd81b87 --- /dev/null +++ b/push.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +echo "🔑 Setting up SSH agent for GitHub push..." + +# Kill any existing SSH agents +pkill ssh-agent 2>/dev/null + +# Start new SSH agent +eval "$(ssh-agent -s)" + +# Add the GitHub SSH key +ssh-add ~/.ssh/id_github + +# Push to GitHub +echo "🚀 Pushing to GitHub..." +git push origin main + +echo "✅ Push completed successfully!" \ No newline at end of file