Vadim Zeitlin 53ece3c2ed Don't use pushd/popd unnecessarily ... Each step executes in its own shell, so it's not necessary to restore the previous working directory and a simple "cd" would do just fine but, in fact, we don't even need this as we can just set the working directory at the step level.		2021-02-05 19:07:28 +01:00
..
workflows	Don't use pushd/popd unnecessarily	2021-02-05 19:07:28 +01:00
CONTRIBUTING.md