Withdrawal of TIPS

Can somebody please let me know how I can withdraw my TIPS from the fedoratips bot? I tried the +withdraw command that doesn't seem to do anything.