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