Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update README.md to fix small typo #1611

Merged
merged 1 commit into from
Mar 11, 2023
Merged

Conversation

DjordjeMandic
Copy link
Contributor

@DjordjeMandic DjordjeMandic commented Mar 8, 2023

Fix small typo from #1588

  • Please check if the PR fulfills these requirements
  • The changes have been tested locally
  • There are no breaking changes
  • What kind of change does this PR introduce?

Docs update (typo fix)

  • What is the current behavior?

From #1588 newly added info about TS80 is split in new line at the end due to typing mistake.
image

  • What is the new behavior?
    image

@discip discip enabled auto-merge March 10, 2023 22:11
@discip discip disabled auto-merge March 10, 2023 22:40
@discip discip enabled auto-merge March 10, 2023 22:41
@discip
Copy link
Collaborator

discip commented Mar 10, 2023

@Ralim
What am I missing here to get this going? 🤷🏻

@DjordjeMandic
Copy link
Contributor Author

@Ralim What am I missing here to get this going? 🤷🏻

image

@discip
Copy link
Collaborator

discip commented Mar 11, 2023

@DjordjeMandic
I am aware of that. 🤣
But how do I fix it?

Fix small typo from Ralim#1588
auto-merge was automatically disabled March 11, 2023 00:47

Head branch was pushed to by a user without write access

@DjordjeMandic
Copy link
Contributor Author

DjordjeMandic commented Mar 11, 2023

@discip

I tried retriggering the build, sadly no change.

Maybe its because of branch protection rules?

U gotta enable auto-merge now again

@discip discip enabled auto-merge March 11, 2023 00:51
@discip
Copy link
Collaborator

discip commented Mar 11, 2023

Unfortunately I am also clueless here. 🤷🏻

@gamelaster gamelaster disabled auto-merge March 11, 2023 06:28
@gamelaster gamelaster enabled auto-merge March 11, 2023 06:36
@gamelaster
Copy link
Collaborator

gamelaster commented Mar 11, 2023

I don't have either enough rights to change this, so we need to wait for Ralim

In the end, it was solved with Ralim's help

@gamelaster gamelaster merged commit e5aa512 into Ralim:dev Mar 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants