-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathdemo.sh
More file actions
executable file
·49 lines (41 loc) · 1.29 KB
/
demo.sh
File metadata and controls
executable file
·49 lines (41 loc) · 1.29 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#!/usr/bin/env bash
# SPDX-License-Identifier: Apache-2.0
# SPDX-FileCopyrightText: 2025 The Linux Foundation
# Demo script for pull-request-fixer
# Shows the tool's capabilities for fixing PRs via GitHub integration
set -e
echo "🛠️ Pull Request Fixer Demo"
echo "============================"
echo ""
# Check if tool is installed
if ! command -v pull-request-fixer &> /dev/null; then
echo "❌ pull-request-fixer is not installed"
echo " Install it with: pip install -e ."
exit 1
fi
echo "✅ pull-request-fixer is installed"
echo ""
# Check if GITHUB_TOKEN is set
if [ -z "$GITHUB_TOKEN" ]; then
echo "❌ GITHUB_TOKEN environment variable is not set"
echo " Set it with: export GITHUB_TOKEN=your_token_here"
exit 1
fi
echo "✅ GITHUB_TOKEN is configured"
echo ""
echo "This tool can fix PR titles across GitHub organizations or individual PRs."
echo ""
echo "Usage examples:"
echo ""
echo "1. Fix a specific PR:"
echo " pull-request-fixer https://github.com/owner/repo/pull/123"
echo ""
echo "2. Scan an organization (dry-run):"
echo " pull-request-fixer ORG_NAME --dry-run"
echo ""
echo "3. Fix PRs across an organization:"
echo " pull-request-fixer ORG_NAME"
echo ""
echo "For more information, run: pull-request-fixer --help"
echo ""
echo "Demo complete! 🎉"