Please see the picture below. I can directly copy the commit id through this button in Github. Does gitea support this function?

For some reason when I try to merge a pr with gh pr merge from my development branch into master I get the following error:

Pull request #1 (Initial Commit.) can't be merged right now; try again in a few seconds

I am able to create and merge pr's from any other branch except into master. I have to go into the Github each time to commit the merge. My master did have a protection rule on i

Is your feature request related to a problem? Please describe.
I find myself having to manually refresh too often. I would like lazygit to refresh automatically more frequently.

Describe the solution you'd like
An option to change to refresh rate/frequency.

Describe alternatives you've considered

Additional context

Describe the bug
I have a release-date field with a custom date_format set to DD-MM-YYYY, so something like:

name: 'release-date'
label: 'Release date'
widget: 'datetime'
date_format: 'DD-MM-YYYY'
format: 'DD-MM-YYYY'

Then I have release-date set under sortable_fields, which gets recognized, but doesn't quite work as expected.

Expected behavior
I would exp

Describe the feature or problem you’d like to solve

Microsoft released Windows Terminal Preview yesterday. It would be nice if GitHub Desktop was able to detect it.

Proposed solution

Adds an option to the shells available to use.

Additional context

N/A