awesome-wm-widgets/github-prs-widget

GitHub PRs Widget

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'
    },
}
...