Skip to content

Simple cli tool that uses the github api to check if a pull request has been merged in a branch of nixpkgs

License

Notifications You must be signed in to change notification settings

cch000/merged-yet

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

merged-yet

Simple tool that uses the github api to check if a pull request has been merged in a branch of nixpkgs. Feel free to contribute!

Usage

Nix

Basic cli usage

nix run github:cch000/merged-yet -- [OPTIONS] <PR_NUMBER>

Adding it to your config

Useful if you want to use it frequently or for scripting.

1 Add the flake to your system flake inputs:

merged-yet.url = "github:cch000/merged-yet;

2 Add it to your packages

environment.systemPackages = [
  inputs.merged-yet.packages.merged-yet
];

Non-Nix usage

git clone https://github.com/cch000/merged-yet
cargo run -- [OPTIONS] <PR_NUMBER>

Options

  -b, --branch <BRANCH>        Branch in which to look for the pull request [default: nixos-unstable]
  -m, --max-pages <MAX_PAGES>  Each page is one request [default: if no key was provided 5, else 100]
  -s, --scripting              Whether to output script-friendly values
  -f, --full                   Whether to output if the pr was first merged into master
  -a, --api-key <API_KEY>      Github api key
  -t, --threads <THREADS>      Number of threads [default: MAX]
  -h, --help                   Print help
  -V, --version                Print version

About

Simple cli tool that uses the github api to check if a pull request has been merged in a branch of nixpkgs

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published