General Resources
Version Control
Section titled “Version Control”Pruning Branches (Deleting Old Merged in Branches)
Section titled “Pruning Branches (Deleting Old Merged in Branches)”git pull --prune- This command deletes branches that have been deleted from the remote repository.
git branch -vv | grep ": gone" | awk '{print $1}' | xargs git branch -D- This command deletes local branches that have already been merged and deleted from the remote repository.
General Resources
Section titled “General Resources”- GitHub Pull Requests in 100 Seconds
video - Using Git in VS Code
video - An Intro to Git and GitHub for Beginners
blog - Git Commands Cheat Sheet
PDF - Common Conventions for Writing Commit Titles
docsarticle - More Conventions for Writing Commit Titles
docsarticle
Docker
Section titled “Docker”- Docker Setup
docs
Electronics Infrastructure
Section titled “Electronics Infrastructure”Communications Layer
Section titled “Communications Layer”Video Feed
Section titled “Video Feed”Ground Data Hub
Section titled “Ground Data Hub”Raspberry Pi
Section titled “Raspberry Pi”- Build your own weather station - tutorial of a more basic version of the Data Hub
- Raspberry Pi Shell Scripting - tutorial introduction to universal way to read/write data with GPIO pins on RPi’s
- GPIO Programming using
sysfsLinux interface - language agnostic way to read/write from GPIO pins