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

Open

vrutkovs wants to merge 1 commit intosoftprops:masterfrom vrutkovs:pulls-list-fix

+1-1

Commits on Sep 22, 2020

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