dolthub / dolthub/dolthub-issues

User who pushes merge button is user listed in merge message

Open
#125 0 comments 0 reactions 1 assignee Claimed by @tbantle22 View on GitHub
bug dolthubapi
Dominant language
No language data
Stars
5
Forks
0
PR merge metrics
No merged PRs in 30d

Description

Steps to reproduce the behavior:
1. One user creates a pull request
2. Second user and owner of repo clicks merge
3. User who created the pull request gets attributed, even though user 2 is the one that clicked the merge button

**Screenshots**

https://user-images.githubusercontent.com/73044899/144688562-57bd4f86-91b2-43ba-bc59-20d9bec8ef54.mov

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.