postgresql: enable parallel build #7
No reviewers
Labels
No Label
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: ports/contrib#7
Loading…
Reference in New Issue
No description provided.
Delete Branch "tek/contrib-tek:3.7"
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?
content signing missing
WIP: postgresql: enable parallel buildto postgresql: enable parallel buildHey tek!
Thank you for your submission and the opportunity to test out how to handle PRs, so I will try to document what I did.
The instructions as shown here on the pull request page
do not work quite well.
You are shown as the commits author, but the PR will remain open:
I ran
to erase that from the git history again.
Instead, I cloned your forked repo, updated the key and pushed that back to your fork.
After that I was able to do a squash commit over the gitea pull request ui.
I am sure there can be a more neater way, but I will need to test this on the next pull request!
Again, thank you very much!