Leftover Github workflows

The .github/ directory still exists, even though the project is hosted on Gitlab. Is that intentional?