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

Don't return null in JobManager::createMonitor #1285

Conversation

fedejeanne
Copy link
Contributor

@fedejeanne fedejeanne commented Apr 4, 2024

Revert unintentional change made in 9c3525c and don't return null when creating a progress monitor. This is part of the contract of the method.

Replaces #1282

Contributes to
#664

Revert unintentional change made in
9c3525c and don't return null when
creating a progress monitor. This is part of the contract of the method.

Contributes to
eclipse-platform#664
@iloveeclipse
Copy link
Member

Sorry, this PR doesn't revert anything. Your original PR is already merged o master!

Copy link
Contributor

github-actions bot commented Apr 4, 2024

Test Results

   639 files  ±0     639 suites  ±0   40m 59s ⏱️ + 1m 8s
 3 946 tests ±0   3 924 ✅ ±0   22 💤 ±0  0 ❌ ±0 
12 444 runs  ±0  12 283 ✅ ±0  161 💤 ±0  0 ❌ ±0 

Results for commit 1b99e42. ± Comparison against base commit e2facf9.

@fedejeanne
Copy link
Contributor Author

Sorry, this PR doesn't revert anything. Your original PR is already merged o master!

Shouldn't GH force-push the commit on this PR to replace (amend) the one in #1282 ?

@HeikoKlare
Copy link
Contributor

HeikoKlare commented Apr 4, 2024

You cannot amend a commit in master. And there is no concept of automatically "replacing one commit with another" either, like the commit in this PR tries to do. If you rebase this commit on master, the commit will simply be removed (as it's then empty) and the the PR will be closed. A reverting PR needs to actively revert changes and not reapply the ones that shall remain in comparison to some other commit.

@fedejeanne
Copy link
Contributor Author

Replaced by #1286

@fedejeanne fedejeanne closed this Apr 4, 2024
@fedejeanne fedejeanne deleted the bugs/no_null_returns_in_JobManager.createMonitor branch April 4, 2024 12:46
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.

None yet

3 participants