Skip to content

pulls: make "merged" bool be Option as its not set when listing PRs#265

Open
vrutkovs wants to merge 1 commit into
softprops:masterfrom
vrutkovs:pulls-list-fix
Open

pulls: make "merged" bool be Option as its not set when listing PRs#265
vrutkovs wants to merge 1 commit into
softprops:masterfrom
vrutkovs:pulls-list-fix

pulls: "merged" is optionally set when listing pull-requests

713bc40
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs