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

Is your feature request related to a problem? Please describe.
Nowadays modern browsers use image 'width' and 'height' attributes to avoid layout shift
https://twitter.com/jensimmons/status/1172922185570279425

Also Next.js image component requires 'width' and 'height' attributes to be provided
https://nextjs.org/docs/api-reference/next/image#required-props

The problem is that it's pre

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