search

nus-cs2113-AY2223S2 / forum

10 stars 0 forks source link

Push level 0 to github? #7

Open nikkiDEEE opened 1 year ago

nikkiDEEE commented 1 year ago

Do we have to push level 0 of our iP to Github yet? Because it says "Add increment: level 0"

okkhoy commented 1 year ago

no need.

linuspuah commented 1 year ago

if i have already pushed to github is that okay?

mitchmalvin1 commented 1 year ago

do we just need to commit together with the tag Level-0? how do we know if the script has successfully detected it?

okkhoy commented 1 year ago

The dashboard will be updated to reflect the tags that you create and push correctly. For Level-0 it's ok if you don't push it; there is no harm if you did.