This was said in there once: (see halfway down, Rabbi Yishmael ben Elisha)
https://www.sefaria.org/Berakhot.7a?lang=bi
How singing will help to bring the geula
An excerpt of a recent shiur given by Rav Eliezer Berland, shlita, on Shabbat Shira
Everything is done by way of Eliyahu HaNavi. Everything in the world, Eliyahu does them, he leads them. And techiyat hameitim (the revival of the dead) will also be done by way of Eliyahu This will be by the hand of Eliyahu, Eliyahu will announce techiyat hameitim, Eliyahu HaNavi will fetch Moshiach Ben David everything is Eliyahu HaNavi.
Because Eliyahu [who was Pinchas] killed Zimri, he went to kill Zimri, and he wasnt afraid of Zimri. He picked Zimri up, to a height of 10 metres, he was many tens of metres tall.https://ravberland.com/complete-redemption-going-come-singing/
Joseph is alive and living in Mizraim,
and has two sons, Menassah and Ephraim.
~ Serach, daughter of "Happy" (a shir)
And on that happy news, the spirit of Jacob came back from the dead.
ישמח ---> משיח