pull

pull copied to clipboard

Hi! I have a fork of DefinitelyTyped, and it seems like the pull app doesn't perform the hard reset until the workflow completes successfully. I think this doesn't really necessary...

BasixKOR

The master branch has a GitHub Actions workflow with [this part of the code](https://github.com/aeiouaeiouaeiouaeiouaeiouaeiou/macports-ports/commit/035aa79c6ac1a93e94d5e1cfde5480043a5ae7b0): ``` permissions: contents: read ``` Before this bot worked just perfectly, but for now pull requests...

aeiouaeiouaeiouaeiouaeiouaeiou

Change references of "master" to "main"

5

# Docs Request Change all instances of `master` to `main` in the docs and and examples. # Reasons * `main` is the default * Many repos changed their default from...

antazoey

⬆️ Bump probot from 9.14.1 to 12.2.5

1

Bumps [probot](https://github.com/probot/probot) from 9.14.1 to 12.2.5. Release notes Sourced from probot's releases. v12.2.5 12.2.5 (2022-06-30) Bug Fixes remove update-notifier (#1706) (05297fb), closes probot/probot#1102 v12.2.4 12.2.4 (2022-06-01) Bug Fixes logging of...

dependabot[bot]

Bumps [standard](https://github.com/standard/standard) from 16.0.4 to 17.0.0. Release notes Sourced from standard's releases. v17.0.0 We're super excited to announce standard 17! This major release fully focuses on getting in sync with...

dependabot[bot]

docs: Add documentation for self-hosting

5

Resolves https://github.com/wei/pull/issues/329

ajhalili2006

[FR] New mergeMethod `merge-ff` to only merge when un-fast-forwardable, otherwise hard reset

5

A nice mix of two current `mergeMethod`: `hardreset` and `merge`. Effectively simulate the default `git merge` behavior and make the commit history clean. A use case: [DIYgod/RSSHub](https://github.com/DIYgod/RSSHub) has a [`pull.yml`...

Rongronggg9

Label not creating when upsteam branch updates more than once within [Pull]PR opened period

2

 https://github.com/michaeljin89757/BoTest/pull/3  https://github.com/michaeljin89757/BoTest/pull/2 As shown in pictures above, when there are updates happened within [Pull]PR opened period the pull bot did not create the pull label as expected.

michaeljin89757

Problems running my onw instance

1

I'm trying to run this bot locally. I followed the Probot instructions and could make run but nothing has happened on my pull requests. So, I have some questions that...

JerryMacedoCastro

feat: comment when auto merge/hardreset fails

2

Currently GitHub returns an error when Pull tries to merge into a protected branch. The PR will just stay open ready to be manually merged. An improvement will be commenting...

wei