pr_merged: trigger error if a PR is merged

Description Usage Arguments

View source: R/github.R

Description

trigger error if a PR is merged

Usage

1
pr_merged(repo, note)

Arguments

repo

a github repository, in remotes shorthand

note

explain yourself


edavidaja/todoordie documentation built on Dec. 23, 2021, 11:21 p.m.