Switched to a new branch '20200523211023.6532-1-pmenzel@molgen.mpg.de'
Applying: ps2: Disable keyboard and mouse before flushing the queue
Warning: Permanently added 'github.com,140.82.112.4' (RSA) to the list of known hosts.
To github.com:patchew-project/seabios
 * [new tag]         patchew/20200523211023.6532-1-pmenzel@molgen.mpg.de -> patchew/20200523211023.6532-1-pmenzel@molgen.mpg.de