pulls: make "merged" bool be Option as its not set when listing PRs#265
Open
vrutkovs wants to merge 1 commit intosoftprops:masterfrom
Open
pulls: make "merged" bool be Option as its not set when listing PRs#265vrutkovs wants to merge 1 commit intosoftprops:masterfrom
vrutkovs wants to merge 1 commit intosoftprops:masterfrom
Commits
Commits on Sep 22, 2020
- committed
Vadim Rutkovsky