mirror of
https://github.com/marcogll/AnchorOS.git
synced 2026-03-15 13:24:27 +00:00
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
This commit is contained in:
18
push.sh
Executable file
18
push.sh
Executable file
@@ -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!"
|
||||||
Reference in New Issue
Block a user