Skip to content

Instantly share code, notes, and snippets.

View arabek's full-sized avatar
💭
I may be slow to respond.

arabek arabek

💭
I may be slow to respond.
View GitHub Profile
@arabek
arabek / gitcopr
Created January 28, 2020 09:02
a simple script to checkout a numbered pull req
#!/bin/bash
if [ x$1 == x ]; then
echo "no pull request ref number specified at command line";
exit 1;
else
git fetch origin +refs/pull/$1/merge:;
git checkout -qf FETCH_HEAD;
git checkout -b $1;
fi
<?xml version="1.0"?>
<Profile xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:xsd="http://www.w3.org/2001/XMLSchema">
<Name>LG WebOS CX TV</Name>
<Identification>
<FriendlyName>\[LG\] webOS TV OLED.*CX.*</FriendlyName>
<Headers>
<HttpHeaderInfo name="User-Agent" value="LG" match="Substring" />
</Headers>
</Identification>