pull-request-CodePudding

Tags > pull-request

08-21MobileHow to run a custom command unique to a PR on merging a PR?
08-09front endGit Workflow for Multiple Feature Branches
08-08NetWhy do we have to add the "HEAD:" prefix when pushing to a contributor's fork of a Gi
08-06Software engineeringReceived a pull-request from someone else, how to edit it before merging directly on github?
07-14MobileDownload Repository to local folder and overwrite existing files by using Python
06-27MobileHow to open a pull request for an issue on my main branch "without merging"
06-22OSConfused first/only time github user - do I need local copy/ies to conduct the following (msg body d
06-11Netcan we raise a PR in github through jenkins
06-09NetWhat kind of "actions" does the Pull request Webhook of the Github pull request builder su
05-22databaseGitHub - PR commit shows old username as author. How do I change author of commit if I have no repo
05-13Software designHow can I check if a commit exists in a pull request on GitHub?
05-07databaseHow can I create a pull request between branches with entirely different commit histories
05-05MobileHow do I make PR link after commit message?
04-24Software engineeringQuestion on GIT PULL request functionality
04-22databaseDealing with rejected pull requests in azure devops
03-30databaseHow to send a GitHub Pull Request to multiple repos
03-27OSHow to delete/clear old commit history from pull request?
03-26Software designIs it necessary to fork again for future PRs?
02-19NetHow can I merge just the first commit of a pull request?
02-19Mobileis it possible to commit to a fork without polluting a previous pull request? If not, how do I make
02-14BlockchainHow to set build status on incoming GitHub pull request from bash?
02-11otherLoop through folders that have changes in a PR
12-30MobileLock source branch on Pull Requests
12-21EnterpriseCan a branch open multiple pull requests
11-22front endHow to debug in github CI?
11-11EnterprisePulling from remote master branch after sending a pull request
11-10databasehow to fix pipeline in github actions
11-08MobileHow to write a pipeline for a pull request for lint and run tests
10-31databaseWhat happens to commits between the pull the request and approval
10-16Software engineeringAutomatically reject PRs that update certain files
10-14EnterpriseGit pull gives "Already up to date" but remote branch shows confilcts
10-06Back-endConvenient way to push to a pull request opened by someone else
10-03Back-endAfter git merge, abort conflicts not showing
10-02databaseHow can I git reset --hard with a PR?
09-30Software designUsing GitHub website for non-fast-forward merging of PRs, instead of Git CLI
09-26Back-endWhy do we need to create a branch in our forked repository to push our changes and then create a pul
09-25OSGitHub/Git: Can't create pull request (no button) with specific branch
09-17databaseHow do I require a linked issue in a github pull request before allowing the PR to be merged/closed