← Back to Mission Control

Docking Requests

2 min read

Pull Requests on GitHub

Mission Phase 24 • Difficulty: Beginner

Proposing Changes for Review

Pull requests (PRs) are how you propose changes, get feedback, and collaborate with teams on GitHub.

Creating a Pull Request

  1. Push your branch: git push origin feature-branch
  2. Go to the repository on GitHub
  3. Click "Compare & pull request"
  4. Add title and description
  5. Select reviewers (if on a team)
  6. Click "Create pull request"

PR Description Best Practices

Example Description

## Changes
- Add real-time sensor monitoring
- Implement automatic alerts for anomalies

## Why
Closes #42 - Need real-time visibility into sensor data

## Testing
- Tested with 1000+ data points
- Verified alerts trigger correctly
- Checked performance impact (minimal)

## Screenshots
[Include screenshots here]

Code Review Process

  1. Reviewers examine code
  2. Leave comments and suggestions
  3. Author addresses feedback
  4. Push additional commits to same branch
  5. Once approved, merge

Responding to Feedback

Merging Pull Requests

Three merge options:

Draft PRs

Mark PR as draft for early feedback without formal review.

PR Etiquette

Next: Cockpit Integration

You've mastered pull requests. Next, learn to use Git within VS Code for a streamlined workflow.