It is best to create a new commit which will be the exact image of the old 'Booking' one:
First:
git checkout master
git branch tmp # let's mark the current master (with wrong commit)
Then:
git reset --hard <SHA1 'Booking'> # reset worktree and index of master
# to Booking content
git reset tmp # reset master HEAD and index to its original position
# (but keep working tree of Booking)
Now that the working tree represents the right content:
git add .
git commit -m "restore Booking"
git push
That way, no filter-branch
(which would rewrite the history), no revert
(which might be complex when a merge is involved).
To know more about the "reset magic", read "Reset Demystified"
The first reset --hard
restore the right content (but also moves HEAD and reset index)

The second reset (--mixed)
will restore HEAD to its original place, and will restore the index as well. But it will leave the working tree untouched.

That way, there is a difference between master
index and the working tree, which represents the content of the old commit.
Adding and committing are enough to create a new commit on top of the current master
, with the old commit content.