Skip to content
View petulla's full-sized avatar

Block or report petulla

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
10 stars written in Shell
Clear filter

GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

Shell 17,596 1,210 Updated May 14, 2025

paul's fish, bash, git, etc config files. good stuff.

Shell 4,254 1,301 Updated Feb 14, 2025

Git alias commands for faster easier version control

Shell 2,522 340 Updated Apr 11, 2025

A set of exercises for deliberate Git Practice

Shell 1,466 947 Updated Nov 4, 2024

This implements topics that change over time (Dynamic Topic Models) and a model of how individual documents predict that change.

Shell 202 79 Updated Dec 12, 2017

Bash script for setting or clearing touch requirements for # cryptographic operations the OpenPGP application on a YubiKey 4

Shell 158 28 Updated Feb 22, 2021

San Francisco housing construction history and associated data

Shell 136 24 Updated Jul 3, 2019

a little preprocessor for literate programming

Shell 122 6 Updated May 4, 2023

vims - use vim like sed

Shell 111 8 Updated Jan 5, 2024

A full bootstrap script for a new installation of Ubuntu Desktop

Shell 5 Updated Apr 10, 2017