Skip to content

Instantly share code, notes, and snippets.

View willingc's full-sized avatar
🐍
Build things for others

Carol Willing willingc

🐍
Build things for others
View GitHub Profile
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@amcasari
amcasari / amcasari-tech-management-bits.md
Last active January 11, 2021 14:42
amcasari's tech management theories, lemmas, and corollaries

my core values

  • Enable a growth mindset
  • A team is more than a collection of individuals
  • Sustainability is always a priority
  • Give cover for calculated risks
  • Build soapboxes, shine spotlights

on working with me (and space i’ll definitely give you)

  • I work spiky :) This is sometimes due to personal commitments, community organization work, talks, coffees, my brain getting interrupted by things that are not
@PhiSYS
PhiSYS / multiple-gource.sh
Last active December 21, 2022 04:23
Create multiple repositories visualization video using gource and ffmpeg
#!/usr/bin/bash
declare -a repos=(
"$HOME/Projects/myproject/testing/.git"
"$HOME/Projects/myproject/testing-bundle/.git"
"$HOME/Projects/myproject/service-skeleton/.git"
"$HOME/Projects/myproject/documentation-web/.git"
"$HOME/Projects/myproject/documentation-api/.git"
"$HOME/Projects/myproject/coding-standard/.git"
"$HOME/Projects/myproject/context/microservice1/.git"
@betatim
betatim / example.ipynb
Created July 2, 2020 07:47
Notebook that contains various kinds of elements
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@mislav
mislav / gh-rename-master
Last active April 24, 2022 10:02
Rename the default branch of a repository using GitHub CLI https://github.com/cli/cli/releases/tag/v0.10.0
#!/bin/bash
# Usage: gh-rename-master <newbranch> [<remote>]
#
# Renames the "master" branch of the current repository both locally and on GitHub.
#
# dependencies: GitHub CLI v0.10
set -e
newbranch="${1?}"
remote="${2:-origin}"
@betatim
betatim / does-it-limit.py
Created March 30, 2020 20:56
Highly scientific rate limit checker
import requests
import time
S = requests.Session()
now = time.time()
while True:
r = S.get(YOUR_HOST_HERE)
now_ = time.time()
delta_t = now_ - now
@skrawcz
skrawcz / PyBayFormatter.py
Last active October 8, 2021 22:46
JSON Structured Logger
import json
import logging
import sys
logger = logging.getLogger(__name__)
class PyBayFormatter(logging.Formatter):
"""Implementation of JSON structured logging that works for most handlers."""
@minrk
minrk / Dockerfile
Last active February 1, 2018 21:19
testing jupyterhub unicode errors in logging
FROM ubuntu:17.10
RUN apt-get update && apt-get -y install supervisor python3-dev python3-pip nodejs npm locales
RUN python3 -m pip install jupyterhub notebook
RUN npm install -g configurable-http-proxy
RUN python3 -m pip install jupyterhub-dummyauthenticator jupyterhub-simplespawner
EXPOSE 8000
ADD jupyterhub_config.py /srv/jupyterhub_config.py
ADD jupyterhub.conf /etc/supervisor/conf.d
ADD start-jupyterhub.sh /srv/start-jupyterhub.sh
WORKDIR /srv
@minrk
minrk / check-binder
Last active December 20, 2017 14:57
#!/usr/bin/env python3
"""Script to check binder deployment status
checks:
- binderhub chart has latest hub chart
- mybinder has latest binderhub chart
- mybinder has latest repo2docker image
- mybinder prod is up-to-date with staging
"""
"""
Script to get watchers/stars/forks for all repos on a github organization
Set GITHUB_API_TOKEN environment variable if you are hitting the API rate limit
Requires pygithub and Python 3.6:
pip install pygithub
Usage: