Rebase new_ceres branch on top of new master #954
Closed
ghallak wants to merge 22 commits from
ghallak/new_ceres_rebased into new_ceres
pull from: ghallak/new_ceres_rebased
merge into: QPQ-AG:new_ceres
QPQ-AG:master
QPQ-AG:prh-docs-fix
QPQ-AG:uw-mldsa-crypto
QPQ-AG:uw-rename-fix-deps
QPQ-AG:bump_gmserialization
QPQ-AG:zomp
QPQ-AG:ceres
QPQ-AG:gh-pages
QPQ-AG:gh-485
QPQ-AG:dependabot/pip/dot-github/workflows/pygments-2.15.0
QPQ-AG:old_ceres
QPQ-AG:ghallak/split-typechecker
QPQ-AG:gh-400
QPQ-AG:new_ceres
QPQ-AG:loop-op
QPQ-AG:type-env
QPQ-AG:ghallak/229
QPQ-AG:option-force-msg
QPQ-AG:6.0.2
QPQ-AG:lima
QPQ-AG:call-fee
QPQ-AG:fix-ets
QPQ-AG:mergesort
QPQ-AG:lima-master-merge
QPQ-AG:optionally_generate_aci
QPQ-AG:changelog-update
QPQ-AG:make-return-reserved-word
QPQ-AG:radrow-patch-2
QPQ-AG:aens-subdomains
QPQ-AG:aens-at-full-node-ver
QPQ-AG:pt-166866806-claim-with-name-fee
QPQ-AG:extend-aci-interface
QPQ-AG:generalized_accounts_no_abi_move
QPQ-AG:roma
QPQ-AG:quickcheck-ci
No Reviewers
Labels
Clear labels
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
duplicate
enhancement
help wanted
invalid
pig lipstick
question
wontfix
Something is not working
This issue or pull request already exists
New feature
Need some help
Something is wrong
Muggle-facing enhancements
More information is needed
This won't be fixed
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
No Assignees
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: QPQ-AG/sophia#954
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Delete Branch "ghallak/new_ceres_rebased"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
It was a bad idea to open a rebase PR.
Pull request closed