Some github cli example commands to open pull requests.
Remove --dry-run
to create.
Opens a pull reqest to merge SOURCEBRANCH into DESTBRANCH, using a markdown formatted template for the body.
DO $$ | |
DECLARE | |
i TEXT; | |
BEGIN | |
FOR i IN ( | |
SELECT 'SELECT SETVAL(' | |
|| quote_literal(quote_ident(PGT.schemaname) || '.' || quote_ident(S.relname)) | |
|| ', COALESCE(MAX(' ||quote_ident(C.attname)|| '), 1) ) FROM ' | |
|| quote_ident(PGT.schemaname)|| '.'||quote_ident(T.relname)|| ';' | |
FROM pg_class AS S, |
-- List all sequences and their current values, excluding system schemas | |
SELECT | |
n.nspname as schema, | |
s.relname as sequence_name, | |
t.relname as table_name, | |
a.attname as column_name, | |
pg_sequence_last_value(s.oid) as last_value | |
FROM pg_class s | |
JOIN pg_namespace n ON n.oid = s.relnamespace | |
JOIN pg_depend d ON d.objid = s.oid |
Example commands show moving the "data" directory from oldrepo to newrepo and includes all history.
Clone a fresh copy of oldrepo.
git clone [email protected]:USERHERE/oldrepo.git
parse_git_branch() { | |
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/' | |
} | |
# color prompt example: "user@host:~/path(git-branch)$" | |
PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\[\e[91m\]$(parse_git_branch)\[\e[00m\]\$' |
Analyzing your project via the cljdoc-analyzer locally will ensure that when your project is pushed to clojars, the API docs will have a much better chance of successfully generating.
Install the cljdoc-analyzer.
clojure -Ttools install io.github.cljdoc/cljdoc-analyzer '{:git/tag "RELEASE"}' :as cljdoc
Extend your GPG key expiry
Find the ID of the expiring key. Note your key ID.
gpg --list-secret-keys
Start editing the key.
#!/bin/bash | |
url=$1 | |
echo | \ | |
openssl s_client -showcerts -servername ${url} -connect ${url}:443 2>/dev/null | \ | |
openssl x509 -inform pem -noout -text |