Add a github workflow that prevents PRs to main that is not coming from dev (#92)

Add a github workflow that prevents PRs to main that is not coming from dev (#92) #2