awesome-wm-widgets/github-prs-widget/README.md

1.3 KiB

GitHub PRs Widget

GitHub issues by-label

The widget shows the number of pull requests assigned to the user and when clicked shows additional information, such as

  • author's name and avatar (opens user profile page when clicked);
  • PR name (opens MR when clicked);
  • name of the repository;
  • when was created;
  • number of comments;

Customization

It is possible to customize widget by providing a table with all or some of the following config parameters:

Name Default Description
reviewer Required github user login

Installation

Install and setup GitHub CLI Clone/download repo and use widget in rc.lua:

local github_prs_widget = require("awesome-wm-widgets.github-prs-widget")
...
s.mytasklist, -- Middle widget
{ -- Right widgets
    layout = wibox.layout.fixed.horizontal,
    ...
    github_prs_widget {
        reviewer = 'streetturtle'
    },
}
...