chore(deploy): don't need the file name

Author: Marcos Cáceres

deploy.sh

@@ -65,4 +65,4 @@ ssh-add ../deploy_key
 # Now that we're all set up, we can push.
 git push $SSH_REPO $TARGET_BRANCH
 git checkout $SOURCE_BRANCH
-bikeshed echidna --md-status=WD --u $USER --p $PASS --decision $DECISION --cc=marcos@marcosc.com index.bs
+bikeshed echidna --md-status=WD --u $USER --p $PASS --decision $DECISION --cc=marcos@marcosc.com