pull request

Every software developer usually use github. Github actions has kind benefits. I want to give example.