dolthub / dolthub/doltlab-issues

Cannot Update Merged PR status.

Open
#72 6 comments 1 reaction 0 assignees View on GitHub
Dominant language
Go
Stars
10
Forks
1
No merged PRs in 30d

Description

Hi,

When I try to merge pull request, the job succeeds it commits changes to main repo but It does not change status of pr to merged.
When I click "merge" again. job succeeds each time.
![image](https://github.com/dolthub/doltlab-issues/assets/8695124/2780e123-e203-4b68-bad3-a0574794d756)

![image](https://github.com/dolthub/doltlab-issues/assets/8695124/0adf90d8-d317-444e-8175-01137ebe7c4c)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.