Changes

#2 (Apr 27, 2022, 3:31:53 AM)

1. Part2: Create required Jenkinsfile for synching the website with the github repo. (#5) (commit: 4705a38) — GitHub / githubweb