A tool for managing Git repositories
-
Updated
Feb 11, 2023 - Python
A tool for managing Git repositories
A simple Python script to clean files from directories based on their extensions.
This is a list of repositories, repository frameworks, and data catalogs. It focuses on technical architecture, how metadata is handled and what standards are used, and what next-generation repository features (if any) are implemented.
A Maven Wagon implementation using GCS
Repository tools for enhanced collaboration.
📄 Github Repos is a widget which allows you to embed repositories into your website
Small CLI tool to install tools from the kali repository and not destroy your installation because you forgot to remove the repos again before updating or upgrading.
Check the status of code repositories under a root directory.
A recursive autoindex downloader for creating a mirror.
Script for managing projects with several active repositories
Komutan is a commit message validator, make them in rule
A simple MeteorJs web app that provide an easy way to manage your PHP Satis repository
Create & Manage static iOS APT repositories (WIP)
Projeto desenvolvido para o Trabalho 2 da disciplina de Laboratório de Programação Hipermídia.
Change visibility for your github projects in batch
GitHub Improvements
Open a GitHub repository in your browser
Keep track of your local git clones
Internal Package Manager: an agnostic package manager for internal dependencies
Add a description, image, and links to the repository-tools topic page so that developers can more easily learn about it.
To associate your repository with the repository-tools topic, visit your repo's landing page and select "manage topics."