Merge pull request #2761 from build-5/impr/2757-get-top #110

	name: Push interfaces to the public repo, develop

	on:
	push:
	branches:
	- develop

	jobs:
	push_interfaces:
	runs-on: ubuntu-latest
	env:
	GITHUB_TOKEN: ${{ secrets.G_TOKEN }}
	steps:
	- uses: actions/checkout@v4

	- name: Set up Git
	run: \|
	git config --global user.name "${{ github.actor }}"
	git config --global user.email "${{ github.actor }}@users.noreply.github.com"

	- name: Push to public repo
	run: \|
	cd ../
	git clone -b develop https://username:[email protected]/build-5/interfaces.git
	cp -r core/packages/interfaces/* interfaces/
	cd interfaces
	git add --all
	git commit -a --allow-empty-message -m ''
	git push origin develop

Provide feedback