Git Card Game: Playing a ‘git push’ card (u.git-card-game-08)¶
Version: V1.1, 12.08.2022, Improve format
Author: Ilijaz Mehmedovic, Leon Hofmeister
Description¶
The player plays a git push card.
Precondition¶
It’s the player’s turn.
The player has a git push card in his stack.
Postcondition¶
The git push card gets moved from the players stack to the middle stack.
Typical procedure¶
The player selects the
git pushcardAll commits are getting pushed
The player’s score increases by 8 * the amount of commits
The
git pushcard gets added to the middle stackThe
git pushcard gets removed from the player’s stack and the game continues
Alternative procedures¶
5.1. The player has no cards left on his stack
5.2. The player’s turn ends
Criticality¶
High