Docs: Fix feedback button (#8035) #848

	name: documentation latest

	on:
	push:
	paths:
	- "docs/**"
	- ".github/workflows/docs-*.yaml"
	branches:
	- master
	workflow_dispatch:

	jobs:
	docs-latest:
	name: Documentation latest
	runs-on: ubuntu-22.04
	steps:
	- name: Check-out
	uses: actions/checkout@v4

	- name: Setup Ruby
	uses: ruby/setup-ruby@v1
	with:
	working-directory: docs
	ruby-version: '3.2'
	bundler-cache: true # runs 'bundle install' and caches installed gems automatically

	- name: Build latest
	id: build-latest
	working-directory: docs
	run: bundle exec jekyll build --config _config.yml -d _site/

	- name: Update robots.txt
	working-directory: docs/_site
	run: \|
	sed -i 's/^Sitemap: /Sitemap: https:\/\/docs.lakefs.io/' robots.txt

	- name: Publish to docs repository
	uses: dmnemec/[email protected]
	env:
	API_TOKEN_GITHUB: ${{ secrets.PERSONAL_TOKEN }}
	with:
	source_file: docs/_site/.
	destination_repo: treeverse/docs-lakeFS
	destination_folder: /
	user_email: '[email protected]'
	user_name: 'docs-action'

Provide feedback