Source identity
| Field | Recorded value |
|---|---|
| Source type | GitHub source |
| Original record | Janady13/healer-pro-pack / push_logs.sh |
| Date | Not specified in source |
| Repository | Janady13/healer-pro-pack |
| Revision | 8cd241e17bd004fdbdc1ee5e9913e45304671553 |
| Branch | main |
| Path or archive member | push_logs.sh |
| Original SHA-256 | 3e0fd02d0c08e47d37eb3483726f0f092c0da75de9d07f4abf7672d43c3e8e8c |
| Git blob SHA | 9334940251739ffc093ed400c2dc54275f30a8fd |
| Reading-copy SHA-256 | 3e0fd02d0c08e47d37eb3483726f0f092c0da75de9d07f4abf7672d43c3e8e8c |
Recovered source transcript
Download complete source text ↓30 lines · 0.7 KB
#!/bin/bash
set -euo pipefail
REPO_DIR="$HOME/Desktop/AI_Healer_Files"
LOG_DIR="$REPO_DIR/healer_logs"
cd "$REPO_DIR"
# Checkout (or create) logs branch
git fetch origin logs || true
git checkout logs || git checkout -b logs
# Copy logs into this branch
mkdir -p healer_logs
cp -r "$LOG_DIR"/*.log healer_logs/ 2>/dev/null || true
git add healer_logs/*.log || true
if ! git diff --cached --quiet; then
git commit -m "🩹 Auto-push healer logs $(date)"
git push origin logs || true
echo "✅ Logs pushed to GitHub (logs branch). Cleaning local copies..."
rm -f "$LOG_DIR"/*.log
else
echo "⚠️ No new logs to push."
fi
# Switch back to main branch
git checkout main