Joshua M. Boniface 680b0529d6 Use cd instead of pushd ...

pushd is a BASHism and not valid in /bin/sh.

2024-03-03 19:00:08 -05:00

..

Dockerfile

Use cd instead of pushd

2024-03-03 19:00:08 -05:00