A prototype PUMPKIN PATCH interface with Git integration - View it on GitHub