search

dolthub / dolthub-issues

Issues for dolthub.com
https://dolthub.com
4 stars 1 forks source link

Pull request title should be editable #472

Closed rl1987 closed 1 year ago

rl1987 commented 1 year ago

Now it is possible to edit description of pull request I authored, but not the title. Sometimes I want to do that when I update the contents of data submission.

liuliu-dev commented 1 year ago

You should be able to edit the title if you have written permission on the database. Is there an edit button next to your pull request's title?

Screenshot 2023-06-12 at 9 26 51 AM
rl1987 commented 1 year ago

No. I want to edit the title as bounty participant.

Screenshot 2023-06-12 at 19 31 14

liuliu-dev commented 1 year ago

I see now, will fix it.

liuliu-dev commented 1 year ago

@rl1987 should be able to edit the title now.