Git-Repo: CLI utility to manage git services from your workspace

🚀 Useful README.md, LICENSE, CONTRIBUTING.md, CODE_OF_CONDUCT.md, SECURITY.md, GitHub Issues, Pull Requests and Actions templates to jumpstart your projects.

Simple, distributed, command-line issue tracker

The Dasharo issue tracker

Check that issues and pull requests in a GitHub project board are really done

issue as a service

A collection of real-world coding issues I’ve found in communities and resolved, shared to help others save time debugging.

This is a web app coded in Django which uses the Python language. Other technologies used include HTML, CSS, JS, W3.CSS, and PostgreSQL. It is a web app that allows for creation of a user, projects, and issues in a tree structure. It works like a bug tracker and was designed for use with software engineering though it can be expanded in its scop…

A Python script to get a list of all open issues in a repository with specific labels, and fetch their corresponding bodies and comments in chronological order (oldest to newest).

TaskWarrior source for Denite. List, view, and preview tasks from Neo/Vim

There are a huge number of formulas that can be used directly in the terminal. Also, if you forgot or don't know them, there is always a wiki in this repository where you can use the formula in the classic way on paper. An excellent, minimalistic mathematical client, with the ability to interact via API.

Telegram bot that has the ability to comment, label, open and close Github issues. It also notifies users and groups when a new issue is posted. GithuBot is virtually the same bot as NetzkyBot, but optimized for the IIC2233 assistants group.

GitHub issue submitting made easier.

Create new tasks in your GitHub repositories

A simple script for creating GitHub issues through Discord commands

Simple issue tracker application.

Reproducing an issue - training ResNet18 on ImageNet using different versions of PyTorch Lightning results in different performances.

Bazel build: comparing behaviour of --action_env and --test_env flags

PR2MD is a powerful command-line tool that extracts GitHub Pull Request and Issue data and converts it into comprehensive, well-formatted Markdown documents. Perfect for documentation, archiving, code reviews, or offline analysis of pull requests.