dscho

// ==UserScript==
// @name         A helper to ease marking GitHub comments as off-topic
// @version      0.5
// @description  Helps maintain PRs and commit comments
// @match        https://github.com/*
// @source       https://gist.github.com/dscho/cd85d0a23fad7aa2d21ab0eca84b55b8
// @updateURL    https://gist.github.com/dscho/cd85d0a23fad7aa2d21ab0eca84b55b8/raw/github-comment-off-topic-button.user.js
// @downloadURL  https://gist.github.com/dscho/cd85d0a23fad7aa2d21ab0eca84b55b8/raw/github-comment-off-topic-button.user.js
// @run-at document-end
// @connect api.github.com

dscho

This session was led by Emily Shaffer. Supporting cast: Ævar Arnfjörð
Bjarmason, brian m. carlson, CB Bailey, and Junio Hamano.

Notes:

 1.  What’s a public chalk talk?

     1.  At Google, once a week, the team meets up with no particular topic in
         mind, or a couple topics, very informal

dscho

// ==UserScript==
// @name         Trigger workflow_dispatch from the blob view of the workflow file
// @source       https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad
// @updateURL    https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad/raw/workflow_dispatch-from-blob.user.js
// @downloadURL  https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad/raw/workflow_dispatch-from-blob.user.js
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Trigger a workflow from the blob view of the workflow file
// @author       Johannes Schindelin
// @match        https://github.com/*/blob/*/.github/workflows/*.yml

dscho

// ==UserScript==
// @name         Show download counts of GitHub releases
// @description  Displays the download count of GitHub's release.
// @version      0.3
// @source       https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20
// @updateURL    https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20/raw/github-release-download-counts.user.js
// @downloadURL  https://gist.github.com/dscho/5d171ec286a52ca4c699477cceaebe20/raw/github-release-download-counts.user.js
// @namespace    http://tampermonkey.net/
// @author       Kusaanko, Johannes Schindelin
// @match        https://github.com/*/*/releases*

dscho

How to estimate effort

By Golo Roden, translated from German with the help of DeepL

Every developer knows the challenge of estimating effort for development code. Very few like to do it. Why is estimating so unpopular, why is it even necessary, and what should you look for?

Why estimate effort?

The question of why it's necessary to estimate effort at all is easy to answer. Knowing how long a task is expected to take is essential for planning who in a team can do what and when. Even across team boundaries, a certain amount of time planning is essential; after all, teams have to be coordinated and resources have to be procured. In addition, other departments such as marketing also have an interest in being involved in planning at an early stage.

dscho

Initialized empty Git repository in /home/virtualbox/git/git-for-windows/t/trash directory.t6500-gc/.git/
expecting success of 6500.1 'setup': 
	# do not let the amount of physical memory affects gc
	# behavior, make sure we always pack everything to one pack by
	# default
	git config gc.bigPackThreshold 2g

+ git config gc.bigPackThreshold 2g

ok 1 - setup

dscho

// ==UserScript==
// @name         Azure Pipelines Hacks
// @namespace    http://tampermonkey.net/
// @version      0.5
// @description  Miscellaneous hacks for Azure Pipelines
// @source       https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/
// @updateURL    https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/raw/azure-pipelines-hacks.user.js
// @downloadURL  https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/raw/azure-pipelines-hacks.user.js
// @author       dscho
// @match        https://dev.azure.com/*/_build*

dscho

// ==UserScript==
// @name         Add QR to instant.io
// @namespace    http://tampermonkey.net/
// @version      0.2
// @description  Adds a QR code ready for scanning next to the URL once a file is seeded.
// @source       https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130
// @updateURL    https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130/raw/qr-for-instant.io.user.js
// @downloadURL  https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130/raw/qr-for-instant.io.user.js
// @author       dscho
// @match        https://instant.io/

dscho

// ==UserScript==
// @name         Assorted helpful tweaks for git.git
// @version      0.5
// @description  Helps maintain git.git PRs
// @match        https://github.com/git/git/*
// @source       https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266
// @updateURL    https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266/raw/git.git-helper.user.js
// @downloadURL  https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266/raw/git.git-helper.user.js
// @run-at document-end
// @connect api.github.com

dscho

// ==UserScript==
// @name         Assorted helpful tweaks for GitGitGadget's Git fork
// @version      0.14
// @description  Removes the merge button on the GitHub `gitgitgadget/git` project, as PRs there are never to be merged. Adds more buttons.
// @source       https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed
// @match        https://github.com/gitgitgadget/git/pull/*
// @updateURL    https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @downloadURL  https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @run-at document-end
// @grant GM_xmlhttpRequest