dinghy 0.2.0

Dinghy daily digest tool

Dinghy daily digest tool.

Dinghy uses the GitHub GraphQL API to find recent activity on issues and pull requests, and writes a compact HTML digest. Write your configuration in a dinghy.yaml file, then:

$ pip install dinghy
$ python -m dinghy

Configuration

Dinghy configuration is read from a dinghy.yaml file:

- digest: lastweek.html
  since: 1 week
  items:
    - https://github.com/orgs/myorg/projects/17
    - https://github.com/orgs/anotherorg/projects/8
    - https://github.com/myorg/myrepo/pulls

- digest: hotnews.html
  since: 1 day
  items:
    - url: https://github.com/orgs/anotherorg/projects/8
      home_repo: anotherorg/wg
    - https://github.com/myorg/churnchurn/issues

- digest: all_prs.html
  since: 1 day
  items:
    - pull_requests: org:myorg

The file is a list of digests to produce. Each entry specifies what to digest:

• The digest setting is the HTML file path to produce.

• The since setting indicates how far back to look for activity. It can use units of weeks, days, hours, minutes and seconds, and can also be abbreviated, like 1d6h.

• The items setting is a list of things to report on, specified in a few different ways:

  • The url setting is a GitHub URL, in a number of forms:

    • An organization project URL will report on the issues and pull requests in the project.

    • A URL to a repo’s issues will report on the issues in the repo.

    • A URL to a repo’s pull requests will report on the pull requests in the repo.

  • The pull_requests setting can specify an organization to search for pull requests.

  • If an item only needs to specify a GitHub URL, then it can simply be the URL string.

Items can have additional options:

• No activity is reported for bot users. Some applications act as real users, but should be ignored anyway. You can list those user names that should be considered bots in the bots setting.

• Options for organization projects include:

  • home_repo is the owner/repo of the repo in which most issues will be created. Issues in other repos will have the repo indicated in the digest.

Changelog

Unreleased

See the fragment files in the scriv.d directory.

0.2.0 — 2022-02-21

Added

• Items can have options. Organization projects have a home_repo option so that issues from other repos will get an indication of the other repo.

• Organizatons can be searched for pull requests.

• If dinghy hits a GraphQL API rate limit, it will sleep until the limit is reset.

• Don’t report on activity by bot users. The bot setting can be used to list user accounts that should be considered bots.

0.1.0 — 2022-02-19

• First release.