| #!/bin/bash | |
| HARDWARE="\ | |
| kmod-pcengines-apuv2 \ | |
| kmod-crypto-hw-ccp \ | |
| kmod-gpio-nct5104d kmod-gpio-button-hotplug \ | |
| kmod-sp5100-tco \ | |
| kmod-usb-core kmod-usb-ohci kmod-usb2 kmod-usb3 \ | |
| kmod-sound-core kmod-pcspkr \ | |
| amd64-microcode \ |
Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| #!/usr/bin/env python | |
| """ | |
| Very simple HTTP server in python (Updated for Python 3.7) | |
| Usage: | |
| ./dummy-web-server.py -h | |
| ./dummy-web-server.py -l localhost -p 8000 | |
| Send a GET request: |