Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add #53

Open
wants to merge 87 commits into
base: master
Choose a base branch
from
Open

Conversation

shawn-t
Copy link

@shawn-t shawn-t commented Mar 18, 2019

No description provided.

@shawn-t shawn-t changed the title add dummy refer command add Mar 18, 2019
@nus-se-pr-bot
Copy link

Hi @shawn-t, your pull request title is invalid.

For PR sent as submission of learning a topic, the PR name should be in the format of [Topic ID][Team ID] Your Name, where [Topic ID] has no dashes or spaces (e.g. [W3.1a]) and [Team ID] has one dash only and no spaces (e.g. [M11-2] means Monday 11am (11 hrs), Team 2).
E.g. If you are in tutorial M11 (i.e. Monday 11 am), team 1, and is submitting a PR for Topic 4.2f, the PR title would be [W4.2f][M11-1] James Yong. Note that your tutorial IDs are different from those shown in CORS/IVLE.

For PR sent as submission of a graded exercise, the PR name should be in the format of [Week ID][Team ID] Your Name, where [Week ID] has no dashes, dots or spaces (e.g. [W5]). Rest of the conventions are same as above.

For team PR, the PR name should be in the format of [Team ID] Product Name (e.g. [T09-2] Contact List Pro).

Please follow the above format strictly and edit your title for reprocessing.

Note: this comment is posted by a bot. If you believe this is done in error, please create an issue at nus-se-pr-bot and add a link to this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants