| # to undo a git push | |
| git push -f origin HEAD^:master | |
| # to get to previous commit (preserves working tree) | |
| git reset --soft HEAD | |
| # to get back to previous commit (you'll lose working tree) | |
| git reset --hard HEAD^ |
| ## This gist is intended to provide a code example for the | |
| # 'Making Signed Requests' section of the 'Authentication Overview' document. | |
| # (http://developer.netflix.com/docs/Security). | |
| # | |
| # We are going to make a catalog request. The hardest part of | |
| # it is figuring out how to generate the oauth_signature. | |
| require 'cgi' | |
| require 'base64' | |
| require 'openssl' |
| #!comment: This is a list of the top 100,000 most frequently-used English words | |
| #!comment: according to Wiktionary. | |
| #!comment: | |
| #!comment: It was compiled in August 2005 and coalesced into a handy list for | |
| #!comment: use in John the Ripper. | |
| #!comment: | |
| #!comment: | |
| #!comment: Pull date: Sun Jan 15 22:03:54 2012 GMT | |
| #!comment: | |
| #!comment: Sources: |
| If: | |
| - you add and commit with the wrong email address in git, and | |
| - your remote has a hook set up to prevent you from pushing with the bad address | |
| Then you need to amend the author of your commit before push can succeed: | |
| 1. fix your email address in git config: | |
| $ git config user.name "Your Name" |
The list would not be updated for now. Don't write comments.
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.
Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:
githubUsers
| var dgram = require('dgram'); | |
| var socket = dgram.createSocket('udp4'); | |
| var testMessage = "[hello world] pid: " + process.pid; | |
| var multicastAddress = '239.1.2.3'; | |
| var multicastPort = 5554; | |
| socket.bind(multicastPort, '0.0.0.0'); | |
| socket.addMembership(multicastAddress); |
| # put this in your .bash_profile | |
| if [ $ITERM_SESSION_ID ]; then | |
| export PROMPT_COMMAND='echo -ne "\033];${PWD##*/}\007"; ':"$PROMPT_COMMAND"; | |
| fi | |
| # Piece-by-Piece Explanation: | |
| # the if condition makes sure we only screw with $PROMPT_COMMAND if we're in an iTerm environment | |
| # iTerm happens to give each session a unique $ITERM_SESSION_ID we can use, $ITERM_PROFILE is an option too | |
| # the $PROMPT_COMMAND environment variable is executed every time a command is run | |
| # see: ss64.com/bash/syntax-prompt.html |
| -- Remove the history from | |
| rm -rf .git | |
| -- recreate the repos from the current content only | |
| git init | |
| git add . | |
| git commit -m "Initial commit" | |
| -- push to the github remote repos ensuring you overwrite history | |
| git remote add origin [email protected]:<YOUR ACCOUNT>/<YOUR REPOS>.git |
| # -*- coding: utf-8 -*- | |
| import argparse | |
| parser = argparse.ArgumentParser(description='Run Load', | |
| epilog="Thanks for using PF dataloads.") | |
| parser.add_argument('-u', '--url', | |
| help='Base URL') | |
| parser.add_argument('-l', '--logon', |