17781 Android Project
Andrew Heitmann
Mingyang Li
Yuqi Sun
Junxue Zhu
- The master branch is protected. It can only be updated by pull request. Direct push does not work.
- Create a new branch by git checkout -b <branch_name>, push the branch, and create a pull request in github console.
- Please ensure .gitignore is included and manually check to avoid unnecessary files.
- Run grep -r password . to avoid pushing sensitive information.
- Run checkstyle with java -jar checkstyle.jar -c /google_java_style_revised.xml . before commit.
- Between git add and git commit, run git diff --cached to double check the content.
- If you accidentally work on the master branch, follow these steps:
- run git checkout -b <branch_name> to create a new branch
- push the new branch and verify in github console
- checkout master branch git branch master
- run git reset HEAD~ to roll back local master branch.
