Skip to content
View mikoto2000's full-sized avatar

Block or report mikoto2000

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
12 stars written in Shell
Clear filter

Repository for pre-built dev container images published under mcr.microsoft.com/devcontainers

Shell 1,988 899 Updated Apr 2, 2026

Command prefixing for continuous workflow using a single tool.

Shell 1,437 41 Updated Dec 14, 2025

An HTTPS Proxy for Docker providing centralized configuration and caching of any registry (quay.io, DockerHub, registry.k8s.io, ghcr.io)

Shell 1,143 185 Updated Mar 17, 2025

PostgreSQL container images based on Red Hat Software Collections and intended for OpenShift and general usage. Users can choose between Red Hat Enterprise Linux, Fedora, and CentOS based images.

Shell 175 218 Updated Mar 31, 2026

AppImage for gVim

Shell 144 26 Updated Apr 2, 2026

OpenShift base images

Shell 88 141 Updated Mar 30, 2026

Source repository for the public community devfile registry

Shell 51 94 Updated Apr 1, 2026

Docker plugin to mount a local path and remap its owner and group to a choosen one

Shell 29 2 Updated Sep 29, 2024

Running Gitpod in Azure AKS

Shell 20 17 Updated Aug 24, 2022

A collection of convenient Dev Container Features

Shell 5 5 Updated Oct 14, 2024

🍓🗺🐣 Dockerfile and Makefile to build customized Raspberry Pi OS image for GIS, Out-of-the-box

Shell 4 Updated Jan 11, 2026