<human>: So basically I've met this girl in college, we do not study in the same field and spend our time of different parts of campus. I've talked to her once at a party and really enjoyed it and I think she did aswell, but the night ended rather quick and I didnt have time to ask for her number.
I've seen her a few times the last few months and we've only made some eye contact walking to/from class those couple of times. I kind of pussied out to do more, tbh.

Now here is the problem. I go on summer break now on friday and would love to make contact with her before the summer, I know I'll regret it if I don't. But as we rarelly see eachother it is unlikely we will meet face to face in this time.

Would it be okay to pop her a message/add on facebook or other social media just to make contact and hopefully arrange to meet IRL if all is good?

Can you succinctly summarize the text in 1-3 sentences?
<bot>: There is a girl in college that I really want to get to know better, but I do not know how to make contact before summer. Facebook ok or not?