Fleshgrinder

@ECHO OFF
:: https://pureinfotech.com/delete-large-folder-fast-windows-10/
ECHO Delete Folder: %CD%?
PAUSE
SET FOLDER=%CD%
CD /
DEL /F/Q/S "%FOLDER%" > NUL
RMDIR /Q/S "%FOLDER%"
EXIT

Fleshgrinder

configurations.all {
    // If this configuration supports transitive dependencies then we
    // exclude any transitive JUnit 4 dependencies from all dependencies
    // that are declared in this configuration. This means that users have
    // to define an explicit dependency on JUnit 4 if they want to use it.
    if (isTransitive) {
        withDependencies {
            forEach {
                (it as? ExternalModuleDependency)
                    ?.takeIf { it.group != "org.junit.vintage" }

Fleshgrinder

gradle.projectsLoaded {
    @Suppress("UNCHECKED_CAST")
    val versions = java.util.Properties().apply {
        load(rootProject.file("version.properties").inputStream())
    } as Map<String, String>

    allprojects {
        // We export the versions so that our tasks can access them
        // programmatically as well if required.
        extra["versions"] = versions

Fleshgrinder

#!/usr/bin/env bash
set -Eeuo pipefail

# There is no button in the interface of GitHub (and as it seems also no API) with which workflows can be deleted.
# They are eventually removed automatically, but in case you want to clean up your Actions UI it is sometimes nice
# to have the possibility to get rid of workflows that are not required anymore. This interactive script allows you
# to achieve exactly that by deleting each individual run of a workflow, after which GitHub deletes the workflow.

declare -ir CONCURRENCY=${CONCURRENCY:-8}

Fleshgrinder

#!/usr/bin/env bash
git push -u || exit 1
gh pr create --assignee @me "$@" || exit 2
gh pr merge --auto --squash || gh pr merge --auto