Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

haiiliin / abqpy Public

Notifications You must be signed in to change notification settings
Fork 37
Star 214

Code
Issues 2
Pull requests 3
Discussions
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security
Insights

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.

Sign up for GitHub

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

[typing] Fix typing error about data arrays (backport #5732) #5749

Merged

mergify merged 6 commits into 2017 from mergify/bp/2017/pr-5732

Aug 28, 2024

Conversation 2 Commits 6 Checks 3 Files changed

Delete conflicted deleted files by GitHub Action https://github.com/h…

6a9503e

Select commit

Loading

Failed to load commit list.

Merged

[typing] Fix typing error about data arrays (backport #5732) #5749

Delete conflicted deleted files by GitHub Action https://github.com/h…

6a9503e

Select commit

Loading

Failed to load commit list.

Mergify

Rule: Auto merge backport pull request (merge)

Rule: delete backport/copy branch (Mergify rule) (delete_head_branch)

Summary

Mergify / Summary succeeded Aug 28, 2024 in 1s

1 rule matches and 23 potential rules

Rule: Backport to 2024 (auto-merge) (backport)

label=backport-to-2024
label!=disable-auto-merge
label!=disable-auto-merge-2024
merged [📌 backport requirement]

Rule: Backport to 2024 (disable-auto-merge) (backport)

label=backport-to-2024
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2024
merged [📌 backport requirement]

Rule: Backport to 2023 (auto-merge) (backport)

any of:
- label=backport-to-2023
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2023
merged [📌 backport requirement]

Rule: Backport to 2023 (disable-auto-merge) (backport)

any of:
- label=backport-to-2023
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2023
merged [📌 backport requirement]

Rule: Backport to 2022 (auto-merge) (backport)

any of:
- label=backport-to-2022
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2022
merged [📌 backport requirement]

Rule: Backport to 2022 (disable-auto-merge) (backport)

any of:
- label=backport-to-2022
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2022
merged [📌 backport requirement]

Rule: Backport to 2021 (auto-merge) (backport)

any of:
- label=backport-to-2021
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2021
merged [📌 backport requirement]

Rule: Backport to 2021 (disable-auto-merge) (backport)

any of:
- label=backport-to-2021
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2021
merged [📌 backport requirement]

Rule: Backport to 2020 (auto-merge) (backport)

any of:
- label=backport-to-2020
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2020
merged [📌 backport requirement]

Rule: Backport to 2020 (disable-auto-merge) (backport)

any of:
- label=backport-to-2020
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2020
merged [📌 backport requirement]

Rule: Backport to 2019 (auto-merge) (backport)

any of:
- label=backport-to-2019
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2019
merged [📌 backport requirement]

Rule: Backport to 2019 (disable-auto-merge) (backport)

any of:
- label=backport-to-2019
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2019
merged [📌 backport requirement]

Rule: Backport to 2018 (auto-merge) (backport)

any of:
- label=backport-to-2018
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2018
merged [📌 backport requirement]

Rule: Backport to 2018 (disable-auto-merge) (backport)

any of:
- label=backport-to-2018
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2018
merged [📌 backport requirement]

Rule: Backport to 2017 (auto-merge) (backport)

any of:
- label=backport-to-2017
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2017
merged [📌 backport requirement]

Rule: Backport to 2017 (disable-auto-merge) (backport)

any of:
- label=backport-to-2017
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2017
merged [📌 backport requirement]

Rule: Backport to 2016 (auto-merge) (backport)

any of:
- label=backport-to-2016
- label=backport-to-all
label!=disable-auto-merge
label!=disable-auto-merge-2016
merged [📌 backport requirement]

Rule: Backport to 2016 (disable-auto-merge) (backport)

any of:
- label=backport-to-2016
- label=backport-to-all
any of:
- label=disable-auto-merge
- label=disable-auto-merge-2016
merged [📌 backport requirement]

Rule: Auto merge backport pull request (merge)

-closed [📌 merge requirement]
#review-threads-unresolved=0 [🛡 GitHub branch protection]
-conflict [📌 merge requirement]
-draft [📌 merge requirement]
all of:
- label!=conflicts
- label!=disable-auto-merge
- label=backport
- title~=[\w\W]+?\(backport \#\d+?\)
- all of:
  - label!=disable-auto-merge-2016
  - label!=disable-auto-merge-2017
  - label!=disable-auto-merge-2018
  - label!=disable-auto-merge-2019
  - label!=disable-auto-merge-2020
  - label!=disable-auto-merge-2021
  - label!=disable-auto-merge-2022
  - label!=disable-auto-merge-2023
any of: [📌 merge -> configuration change requirements]
- -mergify-configuration-changed
- check-success=Configuration changed

Rule: Auto merge translation pull request (merge)

-closed [📌 merge requirement]
all of:
- label=translation
- title~=Update translations \(\d+\/\d+\/\d+\)
- label!=conflicts
- label!=disable-auto-merge
- all of:
  - label!=disable-auto-merge-2016
  - label!=disable-auto-merge-2017
  - label!=disable-auto-merge-2018
  - label!=disable-auto-merge-2019
  - label!=disable-auto-merge-2020
  - label!=disable-auto-merge-2021
  - label!=disable-auto-merge-2022
  - label!=disable-auto-merge-2023
#review-threads-unresolved=0 [🛡 GitHub branch protection]
-conflict [📌 merge requirement]
-draft [📌 merge requirement]
any of: [📌 merge -> configuration change requirements]
- -mergify-configuration-changed
- check-success=Configuration changed

Rule: Auto merge updating version number pull request (merge)

-closed [📌 merge requirement]
all of:
- label=release
- title~=Update release version \(\d+\/\d+\/\d+\)
- label!=conflicts
- label!=disable-auto-merge
- all of:
  - label!=disable-auto-merge-2016
  - label!=disable-auto-merge-2017
  - label!=disable-auto-merge-2018
  - label!=disable-auto-merge-2019
  - label!=disable-auto-merge-2020
  - label!=disable-auto-merge-2021
  - label!=disable-auto-merge-2022
  - label!=disable-auto-merge-2023
#review-threads-unresolved=0 [🛡 GitHub branch protection]
-conflict [📌 merge requirement]
-draft [📌 merge requirement]
any of: [📌 merge -> configuration change requirements]
- -mergify-configuration-changed
- check-success=Configuration changed

Rule: Auto merge updating docs pull request (merge)

-closed [📌 merge requirement]
all of:
- label=docs
- title~=Update docs \(\w+, \d+\/\d+\/\d+\)
- label!=conflicts
- label!=disable-auto-merge
- all of:
  - label!=disable-auto-merge-2016
  - label!=disable-auto-merge-2017
  - label!=disable-auto-merge-2018
  - label!=disable-auto-merge-2019
  - label!=disable-auto-merge-2020
  - label!=disable-auto-merge-2021
  - label!=disable-auto-merge-2022
  - label!=disable-auto-merge-2023
#review-threads-unresolved=0 [🛡 GitHub branch protection]
-conflict [📌 merge requirement]
-draft [📌 merge requirement]
any of: [📌 merge -> configuration change requirements]
- -mergify-configuration-changed
- check-success=Configuration changed

Rule: Warn on conflicts (comment, label)

conflict

💖 Mergify is proud to provide this service for free to open source projects.

🚀 You can help us by becoming a sponsor!

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

@Mergifyio refresh will re-evaluate the rules
@Mergifyio rebase will rebase this PR on its base branch
@Mergifyio update will merge the base branch into this PR
@Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

look at your merge queues
generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

View more details on Mergify

Loading

Re-running checks...

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.