My team has a database project that we have in an Azure DevOps repo. Each developer works in their own feature branch, which we then promote to dev, test and prod branches.
When a developer does a PR and merge to the dev branch, what is the best practice for the other developers to get those changes into their feature branches? I know they can do a pull each morning, but that doesn't seem to be the most efficient. I've also read that maybe this could be done using a build pipeline when a developer submits a pull request, but I am not sure how that would be done.
Any recommendations are appreciated. If you could also include any references you may have on how to implement your recommendation, that would be great too. I am not an Azure DevOps repo or pipeline expert, so I'm lagging a bit there.
Thanks for the help.