Files
AnchorOS/push.sh
Marco Gallegos 28e4a73cdf 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
2026-01-19 00:53:46 -06:00

18 lines
334 B
Bash
Executable File

#!/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!"